The Pippenger product is an unexpected Wallis-like formula for
given by
|
(1)
|
(OEIS A084148 and A084149; Pippenger 1980). Writing the product as , the rational bases satisfy
and, for
,
|
(2)
| |||
|
(3)
|
where
is a double factorial and
is the gamma function.