Limit[Sum[1/2^n, {n, 0, a}], a-> Infinity] + Pi^2/(3*Sum[1/n^2, {n, 1, Infinity}]) == 4*E^(2 Pi * i)