>>50 右
　g(t) = cos(√t)　は下に凸。3倍角公式から、
　cos(x/√3)^3 = {3cos(x/√3) + cos((√3)x)}/4
　　　　　 = {3g(xx/3) + g(3xx)}/4
　　　　　 > g(xx)　　　(← Jensen)
　　　　　 = cos(x),
　
>51 右
　g(-t) = cosh(√t)　は下に凸。3倍角公式から、
　cosh(x/√3)^3 = {3cosh(x/√3) + cosh((√3)x)}/4
　　　　　 = {3g(-xx/3) + g(-3xx)}/4
　　　　　 > g(-xx)　　　(← Jensen)
　　　　　 = cosh(x),