lim (1/n * (sum 1/2, k=1 to n)) as n to infinity