不是泰勒公式，不是帕德逼近，是另外三种方法

基本不等式法：（ln3）*（ln5）＜［（ln3+ln5）/2］²=［（ln15）/2］²＜［（ln16）/2］²=（ln4）²，故ln4/ln3＞ln5/ln4，即a＞b