sum_k=5^60 0.95^k