@nwalfield @fesshole actually no. An irrational number whose expansion includes all possible integers as subsequence is called a normal number, not all irrational numbers are normal; in fact, not even all transcendental numbers are normal. In fact (bis), pi and e are only CONJECTURED to be normal. No proof of their normality has ever been given.