(4/5)^n ≦ 0.01
を満たす最小の自然数nを求めるスマートな方法を教えてください。