log((1 - 0.95^(1 / 25,000)) / 0.0025) / log(0.95)