帰納的定義

x0

= 0 : 初期値

xn

= ( ( 1-xn-1 )/2 )^24 ( n = 自然数 )

と帰納的に定義すると

xn 〜 exp( -2√7π )

→ 5.9604560E-008 ( n → ∞ ) : πに無関係な定数！

に収束している.

⇒

π

〜 3.1438203762 ・・・