>>595
log_{5}(6)
=log_{2}(5)/log_{2}(6)
=log_{2}(5)/{1+log_{2}(3)}
で、後は
A=log_{2}(5)/2
と
B=log_{2}(5)/{1+log_{2}(3)}
を比較することになるが、
A≦Bだったと仮定して矛盾を導く。
これでよろしいな？