09/05/26 21:46:19
>>902
左辺に
1 + a^(2^k) = {1 - a^(2^(k+1))}/{1 - a^(2^k)}, 等
を代入して
Π(k=0,n) 1/{1 + a^(2^k)} = (1-a)/{1 - a^(2^(n+1))} > 1-a, 等(0<a,b,c<1)
ここで a+b+c = s とおくと、
(左辺) - (右辺) > (s-a)(s-b)(s-c) - 8abc
= s(ab+bc+ca) - 9abc
= a(b-c)^2 + b(c-a)^2 + c(a-b)^2 ≧ 0,
ハｧハｧ