Der Beweis: π ist doch endlich, etwa 30 Minuten...