Take a real number, . Write out its continued fraction:
It’s an intriguing fact that if you look at the sequence of geometric means this approaches a single constant, called Khinchin’s constant, which is approximately , for almost every . This means that if you were to pick (for convenience, say it’s between 0 and 1) by writing a decimal point and then repeatedly rolling a ten-sided die forever to generate the digits after that, the you generate would have this property with probability 1.
However, as the Wikipedia page above says, although almost all have this property (call it the “Khinchin property”), no number that wasn’t specifically constructed to have the Khinchin property has been proven to do so (and some numbers, like and and all rational numbers, have been shown to not have the Khinchin property).
If you want to be the first to find a number having the Khinchin property that wasn’t specifically constructed to have it, my advice is to try Chaitin’s Constant, . Roughly, you can think of as the probability that a randomly selected Turing machine will halt, although there are a few more technicalities than that.
More importantly for our purposes, it’s very likely to have the Khinchin property, because it’s algorithmically random, meaning it has all computable properties almost all numbers have! That means that the following statement implies that has the Khinchin property:
There is a computable function satisfying: For all , the set of numbers between 0 and 1 such that for all has measure at least .
Proving that sounds a lot easier to me that, e.g., proving has the Khinchin property (note that the fact that is computable is the hard part).
However, some might quibble about whether or not this meets the original criterion: it’s definitely true that wasn’t constructed to have the Khinchin property; however, in a certain sense, it was constructed to have every such property!