lim ((x p^x + y p^y)/(p^x + p^y) - (log(p^x + p^y)-log(2))/(log p))/(log p) as p->1