Heute ist ist der offizielle Feiertag der Kreiskonstante Pi. Ein kurzer Blick auf den Kalender erklärt dies ziemlich überzeugend. Laut Tante Wikipedia wird der Pi-Tag „traditionell mit dem ge…