↑のハイパボリック版...

〔問題738〕
 sinh(x)/x > cosh(x/√3) > cosh(x)^(1/3),
               (prime_132)


cos(√t) (0<t<π^2)、cosh(√t) は下に凸らしい....