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(n) benar untuk n=k berarti jika n disubstitusi oleh k, maka P(k) bernilai benar.
Artinya
P(k):0+2+4+⋯+2(k−1)≤2k(k−1)