Convexity conjecture for the first eigenvalue sequence
Convexity conjecture. For every integer n⩾2n\geqslant 2n⩾2,