Я в Excel проверил с самого начала. Всё сходится.
Очередная жемчужинка в Вашей коллекции.
На самом деле. Такими примерами можно любоваться.
Возможно ли эту формулу вывести другим способом? И не была ли она основой для вывода формулы Валлиса? Есть три формулы, каждая выводится из двух остальных. Интересно, в какой последовательности они появились исторически?
Меня, кстати, очень заинтересовало представление Вашей формулы через логарифмы. Есть примеры рядов, которые считаются таким способом: разложение каждого члена на слагаемые, которые потом сокращаются.. Я и надеялся, что там сократится всё, кроме простого ряда логарифмов, который сходится к единице. Но при сокращении возникал расходящийся к минус бесконечности ряд.