>>810
(t-log{2}(3))/(t-log{2}(4))が増加関数であることは自明とは言いがたい。