+ \frac{1}{5^3} - \cdots = \frac{\pi^3}{32}? Besonders die Lesbarkeit auf einen Blick macht eine Formel bei schnellen Recherchen nützlich. Ich schaue aber, was ich tun kann. Möglicherweise kann man auch beides tun: in Worten, und dann noch die Formel für die Leute vom Fach obendrauf setzen. Und wegen der Meilen: es handelt sich um eine historische Meile bei Euler, die heute nicht mehr in Gebrauch ist. Daher wurde bei der Übersetzung auch in die Englische Meile "mitübersetzt". -- Googolplexian 17:34, 18. Apr. 2020 (CEST)