>>740
tanxは増加関数でtanx < 1
-1/tanx増加関数で-1/tanx < -1
よって
tanx - 1/tanx < 0

sin2xは正
log(1/tanx)も正
-sin2x*log(1/tanx)<0

f''(x) < 0となりf'(x)は単調減少