in in

1 133557 m— \ in-\-i

C'est la formule de Wallis; elle donne la valeur de -sous la forme d'un

produit inQni de fractions alternativement plus grandes et plus petites que l'unité.

D'après cette formule, on peut écrire

TT . (2 • 4 • 6... inV

- = lim

2 (1.3.5...2W — iy{in-\-\)

lorsque n augmente indéfiniment, ou bien

7r . , (i . 2 . 3 ... n)' (2 . 4 . 6 ... in\^ - = lim 2^" ^^ —^

c'est-à-dire