・ t=x/(1+a)>0 とおく。このとき F(t)=log(1+t)−t+2t2,G(t)=t−log(1+t) とすれば、F(0)=G(0)=0 であり、t>0 に対して F′(t)=1+tt2>0,G′(t)=1+tt>0. したがって F(t)>0, G(t)>0、すなわち t−2t2<log(1+t)<t. t=x/(1+a) を代入すれば示すべき不等式を得る。
・ tk=k/{n2(1+a)} (1≦k≦n) とおくと、 logIn(a)=k=1∑nlog(1+tk). (1)より k=1∑n(tk−2tk2)<logIn(a)<k=1∑ntk. ここで k=1∑ntk=2n(1+a)n+1,k=1∑n2tk2=12n3(1+a)2(n+1)(2n+1). 左辺・右辺はいずれも n→∞ で 1/{2(1+a)} に収束するから、はさみうちにより n→∞limlogIn(a)=2(1+a)1.
・ 組合せの積表示から 2n2+nCn3n2+nCn=k=1∏n2n2+k3n2+k=(23)nk=1∏n1+k/(2n2)1+k/(3n2). よって求める数列を Pn とすると Pn=k=1∏n1+vk1+uk,uk=3n2k,vk=2n2k. 0<uk<vk であり、(1)を a=0 として両方に用いると uk−vk−2uk2<log(1+uk)−log(1+vk)<uk−vk+2vk2. これを k=1,…,n で加え、k=1∑nk=n(n+1)/2, k=1∑nk2=n(n+1)(2n+1)/6 を用いれば −12nn+1−108n3(n+1)(2n+1)<logPn<−12nn+1+48n3(n+1)(2n+1). 両端はともに −1/12 に収束するので、logPn→−1/12。指数関数の連続性より n→∞limPn=e−1/12.