proof that pi is irrational | ScratchStats