Quote:
Originally Posted by CRGreathouse
Abusively assuming the bigO constant to be 1, the expected number of new examples up to 10^25 is 1/4. To get a 95% chance of finding and example you'd need to go above 10^385.

The constant should be derivable, but offhand I am unsure how to
do it.