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