sum ((sqrt(2)/2)^n), n=1 to infinity