0<t<1 olsun ve n≥2 olmak üzere φ(n):‘‘0<tn<t" diyelim.
0<t<1⇒0<t∧t<1⇒0⋅t<t⋅t∧t⋅t<1⋅t⇒0<t2∧t2<t⇒0<t2<t olduğundan n=2 için iddia doğru.
Şimdi belirli bir n∈N için φ(n)'nin doğru olduğunu varsayıp φ(n+1)'in doğru olduğunu gösterelim.
0<tn<1⇒0<tn∧tn<1⇒0⋅t<tn⋅t∧tn⋅t<t⋅t⇒0<tn+1∧tn+1<t2⇒0<tn+1<t2<t olur. O halde ∀n≥2,φ(n) doğru yani 0<t<1⇒(∀n>1)(0<tn<t) önermesi doğrudur.