N üzerine tümevarımla kanıt:
Öncelikle ifademizi tekrar yazalım, bu sefer x yerine a alacağım. Bir amacı yok, a ile daha kolay çalıştığımdan yaptım :)
0≤ann!≤aa(a−1)!n ve ∀a>1,a∈R ve ∀n≥1,n∈N
O halde bir kereliğe mahsus a=2 ve n=1 seçelim. 2≤4. Şimdi varsayalım ki, ann!≤aa(a−1)!n (1)olsun ve bir adım daha ileri giderek, şunu gösterelim: ana(n+1)!≤aa(a−1)!(n+1) (1). Şimdi bir kaç tane daha eşitsizlik yazıp onlar üzerinden tartışalım:
Pf:
an(n+1)!<ana(n+1) (2), a sayısı birden büyük olduğu için bu işlemi rahatça yapabiliyorum. Bu nokta hayli önemli aslında ve bu eşitsizliğin sağ tarafı da aslında kanıtını yapmak istediğimiz terimin sol tarafı (3), Bundan başka tabii ki şunu da diyebiliriz: "(2)yi ve (3)'ü birleştirelim." O halde:
an(n+1)!<ana(n+1)≤aa(a−1)!(n+1) Bu noktadan sonra sağ tarafa daha farklı terimler ekleyebiliriz, fakat gerek yok. bu üç adet ifadeyle bir şekilde oynamalıyız.
an(n+1)!≤aa(a−1)!(n+1) Burada tekrar her iki terimimiz de ne olursa olsun pozitif olduğu için gerekli sadeleştirmeleri hiç korkmadan yapabailiriz!
ann!≤aa(a−1)! Şimdi burada da görüleceği üzere sol taraf (1)in ta kendisi! Fark edilmesi gereken ise şudur sağ taraftaki ifadenin altında bir adet gizli 1 var. O halde zaten n sayısı da n≥1di, rahatça yazabilriiz ki:
ann!≤aa(a−1)!≤aa(a−1)!n İfadenin sağ ve sol tarafları tanıdık gelmiştir umarım. Evet, o ifadeler (1) O halde:
ann!≤aa(a−1)!n olur ve kanıtımız biter. ∎