Dokazujemo matematičkom indukcijom. Za n=6 tvrdnja je istinita:
26=64<6!=720<729=36.
Pretpostavimo da tvrdnja vrijedi za broj n.
Dokažimo najprije nejednakost zdesna. Onda je
(n+1)!=(n+1)n!<(n+1)(2n)n
pa je dovoljno dokazati
(n+1)(2n)n<(2n+1)n+1⟺2nn<(n+1)n.
Posljednja nejednakost je istinita, jer slijedi npr. iz binomnog razvoja
(n+1)n=nn+(1n)nn−1+…>2nn.
Dokažimo sad nejednakost slijeva. Prema pretpostavci indukcije, vrijedi
(n+1)(3n)n<(n+1)⋅n!
zato je dovoljno dokazati da vrijedi:
(3n+1)n+1<(n+1)(3n)n.
Ova je nejednakost ekvivalentna s
(1+n1)n<3.
Niz slijeva je rastući s limesom e<3, pa je tvrdnja dokazana.
Bez pozivanja na ovu tvrdnju, nejednakost se može dokazati direktno:
(1+n1)n=1+(1n)⋅n1+(2n)⋅n21+…+(nn)⋅nn1=1+1+21⋅n2n(n−1)+3!1⋅n3n(n−1)(n−2)+…+n!1⋅nnn!<1+1+21+3!1+…+n!1<1+1+21+41+…+2n−11<3.