- 110 名前：１３２人目の素数さん mailto:sage [2014/01/02(木) 01:31:00.06 .net]
- >>104 (1)
x>0 のとき
2Log(x)/{x -(1/x)} = (2t)/{exp(t) - exp(-t)}
= t/sinh(t)
≦ 1,
より
√(ab)･Log(a/b)/(a-b) = Log(a/b)/{√(a/b) - √(b/a)} ≦ 1,
よって
(左辺) ≦ √(ab) + √(bc) + √(ca)
≦ (1/3)(√a + √b + √c)^2,
