Rationality of Pi