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