MathCastle
Proof WritingMediumInduction

Induction · Medium problem

An argument checks P(1)P(1) and proves "P(k)⇒P(k+1)P(k) \Rightarrow P(k + 1)" only for k≥3k \ge 3. What is the smallest nn for which P(n)P(n) is NOT established?