Pell constant

From specialfunctionswiki
Revision as of 19:00, 24 May 2016 by Tom (talk | contribs)
Jump to: navigation, search

The Pell constant $P$ is given by $$P=1-\displaystyle\prod_{k=0}^{\infty} \left( 1 - \dfrac{1}{2^{2k+1}} \right).$$

Properties

Theorem

The Pell constant is irrational.

Proof

References