正の数 x に対して、log(cosh x) > (x・tanh x)/2

　　　　　　　　　　　　ﾌｧｻｧ
　　　　　　　∧＿∧
　　　　　 　（　・∀・） 　　　　　　）)
　　　　　　 /つ（￣｀ヽO_ノ⌒ヽ
　　　　　 ノ　　 ）　　　　　　　　＼ ）)
　　　　　(__丿＼ヽ　::　　　　ノ::::　）
　　　　　　　　　丿　　　　　　　　,:' 　）)
　　　　　　 (（　（___,,.;:-−''"´｀`'‐'
　　　　　　　　　　　　　　　　　もう寝まつ。
　　　　　　　　　　∧＿∧
　　　　　　　　　 （ ・∀・ ）
　　　　　　　　　/　　_ノ⌒⌒⌒`〜､_
　　　　　　(￣⊂人　//⌒　　 ﾉ　　ヽ）
　　　　　⊂ﾆﾆﾆﾆﾆﾆﾆﾆニニニニニﾆ⊃