[Uncwilly]

Originally Posted by 10metreh

[pedant]No, it's the first prime p such that log₁₀(2^p-1) > 99,999,999.[/pedant]

You didn't see my [lazy shorthand][/lazy shorthand]?