That's a stronger claim anyhow. We'd merely need Pi to be a rich number, ... which hasn't been proven either. https://en.wikipedia.org/wiki/Disjunctive_sequenc

That's a stronger claim anyhow. We'd merely need Pi to be a rich number, ... which hasn't been proven either. https://en.wikipedia.org/wiki/Disjunctive_sequence#Rich_numbers https://en.wikipedia.org/wiki/Disjunctive_sequence#Rich_numb...