Мне, кстати, попадалась научного вида статья, с выкладками и всеми остальными атрибутами, где автор именно это про Пи и доказывал. Что оно (должно быть) равно четырём.