Вывод формулы для числа Пи

Утверждение: математический вывод числа пи возможен.
Доказательство: Самая простая формула получается из соотношения:
Вспомним ряд Тейлора для arctan и получим: