Is pi rational?