>>72
対数をなくしてs=5^xとおく。