Diketahui P(n) : n2>2n−1. Jika P(n) benar untuk n=k, maka akan dibuktikan benar bahwa ....
k2>2k−1
(k+1)2>2k−1
(k+1)2>2k+1
k2>2k+1
(k−1)2>2k−1