max_degree_ge_lambda_max