Lim[sum[1/k^(2),k=1 to n], n->infinity]