n>bn≥n√n=n^(1/n)

    所以an^(n-1)+an^(n-2)bn+……+anbn^(n-2)+bn^(n-1)式子中每一项都大于等于n^((n-1)/n)，而Cn有n项，所以cn≥n*n^((n-1)/n)>n*n^((n-1)/(n+1))。

    这时再回到刚才的式子，c2*c3……cn=n!*（一坨），当n>2时，n^((n-1)/(n+1))都是大于1的，所以可以只保留第n项，即c2*c3……cn=n!*n^((n-1)/(n+1))。

    所以，a2-b22时，前面的式子小于2n/n^2