[KaibaMath]1029 关于log(5, 3)>log(8, 7)的证明

从数值计算的角度，我们很容易证明log(5, 3)>log(8, 7)。例如：

>>> from math import log
>>> log(5, 3)
1.4649735207179269
>>> log(8, 7)
1.0686215613240664
>>> log(5, 3) > log(8, 7)
True
>>> 

但是，如果不通过数值计算，有没有办法证明log(5, 3)>log(8, 7)呢？答案是肯定的！下面通过构造函数予以证明。