>(1 + 1/n)^2n < p_n … (4)
>が成立しなければならない。n ≧ 1のときにp_n > nlog(n)(Rosser の定理)が成立するから
>(1 + 1/n)2^n < nlog(n)

小学生以下の不等式操作