(1)
|x|≦1, |y|≦1 (x,y∈R) に対して、
0≦ xx + yy - 2xxyy + 2xy*√{(1-xx)(1-yy)} ≦1.

(2)
m>n>1 (m,n∈Z) に対して、
(m+n+1)!/(m!*n!) > {(m+n)^{m+n}}/{(m^m)(n^n)} > 2^{2n-1}.