MathCastle
Proof WritingHardInduction

Induction · Hard problem

For 2n≥n22^n \ge n^2, a student writes the step 2k+1=2⋅2k≥2k2≥(k+1)22^{k+1} = 2\cdot2^k \ge 2k^2 \ge (k + 1)^2. The last inequality needs k2≥2k+1k^2 \ge 2k + 1. What is the LARGEST positive integer kk for which this fails?