Comment by chj

Is it possible to find a certain encoded formula of PI inside the PI digits itself, given its length?