В XVII веке Европу охватила математическая революция. Вдруг стало модно изучать бесконечные величины, и множество математиков стало разбираться, что же такое пи.
Например, англичанин Джон Уоллис (1616–1703) разработал свою формулу для вычисления пи. Говорят, что это он придумал обозначать бесконечность вот этим КРУТЫМ СИМВОЛОМ:
Швейцарский учёный Леонард Эйлер (1707–1783) был не только математиком, но и астрономом, физиком, географом и инженером.

Формулы, конечно, красивые и сложные, но у них есть один недостаток. Ими очень неудобно пользоваться. И чтобы вычислить всего несколько знаков после запятой, уходит уйма времени.

Но, к счастью для всего мира, появился Джон Мэчин.
ТА-ДА!
Джон Мэчин (ок. 1686–1751) — английский астроном. Он ВПЕРВЫЕ в истории (по крайней мере, мы так думаем!) вывел быструю формулу числа пи. С её помощью он получил первые 100 знаков после запятой.

Что такое арктангенс, объяснить сложно. Так сложно, что для этого понадобилась бы отдельная книга!