prouvez-moi que Pi est un nombre réel

Ben par définition, hein. (Voir Bourbaki par exemple.)