>>792
t=tanh(x)とおくと、
(左辺−中辺)’＝{(3-tt)x+t}/4−t
＝(3/4){(1-tt/3)xーt}
≧0,

〔補題〕
x>0 のとき、x>t/(1-tt/3),