| x | < π / 2 のとき

cosh x ≦ sec x