Secara umum, pernyataan S(n) dikatakan benar untuk n=p (p dapat berupa bilangan maupun variabel) jika dengan mensubstitusikan n=p pada S(n), maka pernyataan S(n) benar / berlaku.
Ketidaksamaan P(k) dapat ditulis dengan mensubstitusikan n=k pada ketidaksamaan P(n), yaitu
(1+x)n≥1+nx ⇒ (1+x)k≥1+kx
Ketidaksamaan P(k+1) dapat ditulis dengan mensubstitusikan n=k+1 pada ketidaksamaan P(n), yaitu
(1+x)n≥1+nx ⇒ (1+x)k+1≥1+(k+1)x
Akibatnya, pernyataan akan dibuktikan bahwa jika P(k) berlaku, maka P(k+1) berlaku dapat ditulis menjadi
akan dibuktikan bahwa jika (1+x)k≥1+kx benar, maka (1+x)k+1≥1+(k+1)x benar