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