>>788
　x･{x+tanh(x)}/4 ≧ log(cosh(x)) ≧ x･tanh(x)/2,