"By March of 1655 John Wallis had almost completed his Arithmetica Infinitorum in which he promoted an important method of interpolation. This was a great work. ...Wallis discovered that analytic formulas can be interpolated by their values at integer numbers. ...Wallis successfully applied his interpolation to find formulas for the areas under many curves. Only one curve remained uncovered. It was the unit circle. In 1593 Viète had found the formula \frac{2}{\pi} = \frac{\sqrt{2}}{2}\cdot\frac{\sqrt{2+\sqrt{2}}}{2}\cdot\frac{\sqrt{2+\sqrt{2+\sqrt{2}}}}{2}\cdot\cdots. Since the multipliers in Viète's formula are algebraic irrationalities of increasing order, it was not the formula which could meet Wallis' requirements. Finally in March of 1655, Wallis obtained his now well-known formula \frac{2}{\pi} = \frac{1\cdot3}{2\cdot2}\cdot\frac{3\cdot5}{4\cdot4}\cdot\frac{5\cdot7}{6\cdot6}\cdot\cdots\frac{(2n-1)\cdot(2n+1)}{2n\cdot2n}\cdot\cdots."