lim (a^x - b^x)/(2x) as x->0