MathCastle
Proof WritingHardWriting It Up

Writing It Up · Hard problem

To prove 2n≥n22^n \ge n^2 for n≥4n \ge 4, the inductive step writes 2k+1=2⋅2k≥2k2≥(k+1)22^{k+1} = 2 \cdot 2^k \ge 2k^2 \ge (k + 1)^2. A careful write-up must say for which kk the last inequality holds. What is the smallest integer kk for which 2k2≥(k+1)22k^2 \ge (k + 1)^2?