Proof First, it is clear that for N=1,2,⋯, and x,y⩾0, we have the relation
Thus we get
exy>N!xNyNey∑ixi>(N!)n(x1x2⋯xn)NynN
Therefore, by comparing the coefficients of ynN, we obtain
(nN)!(∑ixi)nN⩾(N!)n(x1x2⋯xn)N
Or
x1x2⋯xn(∑ixi)n⩾((N!)n(nN)!)N1
which holds for all positive integers N.
Letting N→+∞, by Stirling's formula, we get
N→+∞lim((N!)n(nN)!)N1=nn
Thus, equation (1) is established. This proof does not provide the condition for equality to hold.