直接暴力算，计算量也不算大：
等价于证明 1.2^[sqrt(1.5)-1] > 1+1/24
等价于找到一个 x，满足
(1) sqrt(1.5)-1 > 1/x ,
(2) 1.2 > (1+1/24)^x

取x=4，显然不满足（1）；x=5，显然不满足（2）；
x=4.5，(1+1/24)^9 展开，加到第4项时 > 1.443 > 1.2^2 ，不满足（2）
x=4.4，(5.4/4.4)^2=729/484 > 1.5 不满足 （1）；
x=4.45，(1+1/24)^8.9 展开，加到第5项时 =1.4381，后面的加起来不超过 0.0005，可以确定满足 (2);
同时(5.45/4.45)^2=(109/89)^2=11881/7921<1.5

所以4.45可以。

【 在 iwannabe 的大作中提到: 】
: 折腾了一上午
: (6/5)^(sqrt(3)) > (5/4)^(sqrt(2))
--
FROM 120.229.210.*