sum 0 to inf e^(-n^2/2)