lim p -> 0 (1-p)(((a^p + b^p)/2)^(1/p))^2 + 2p(((a^p + b^p)/2)^(1/p))