[chmod775]

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_numb...