a_1=√(1/2) a_(n+1)=√(1/2+(1/2)a_n)のとき

Π[n=1,∞] a_n=2/π

とWikipediaの円周率の項目に載っていました。これについて詳しく調べたいのですがなんと調べればよいのでしょうか…
もしくはこれについて詳しく教えていただけませんか？