x≧0, y≧0, x+y=1 のとき, 自然数m,nに対して

( 1-x^m )^n + ( 1-y^n )^m ≧1