EV P(4): 4!>2⁴ ⇔ 24 >16 (A) ED pp [tex]P(k):k!\ \textgreater \ 2^k (A)[/tex], pentru un k arbitrar fixat dem [tex]P(k+1): (k+1)!\ \textgreater \ 2^{k+1} \ (A)\\
(k+1)!=k!(k+1)\ \textgreater \ 2^k(k+1)\ \textgreater \ 2^k(4+1)=2^k\cdot5\ \textgreater \ 2^k\cdot2=2^{k+1}[/tex] Deci propozitia P(k) este adevarata. Din EV si ED, rezulta conform PIM P(n) este adevarata, pentru orice n≥4