Comment by mtzet

Well maybe. We don't know if pi is a normal number.