1. eşitsizlik bariz;
nn=nterim⏞n.n.n.n....n>n!=nterim⏞n.(n−1).(n−2).....1
2. eşitsizlik;
n!>ana∈R+ olmak üzre;
Matematiksel tümevarım yaparsak,
n!>an dogru ise;
(n+1)n!>aan da doğrudur çünki;
n+1an!>an için
n+1a hep 1'den büyüktür; (n>>a)
3.eşitsizlik;
İspat için şu fonksiyona bakıp maksimalitesini inceleyelim;
f(x)=lnxx→f′(x)=1−lnxx2
x=e iken maksimum
x<e iken f′ pozitiv, x>e iken f′ negativ dolayısıyla fonksiyon grafiği >e için azalan.
O zaman n>a için lnaa>lnnn olur dolayısıyla
lnan>lnna→an>na ispatlanır. ◻