lim(△x->0) [f(x + △x) g(x + △x) - f(x) g(x)] / △x
=lim(△x->0) [f(x + △x) g(x + △x) - f(x + △x) g(x) + f(x + △x) g(x) - f(x) g(x)] / △x
=lim(△x->0) f(x + △x) [g(x + △x) - g(x)] / △x + lim(△x->0) g(x)[f(x + △x) - f(x)] / △x
=f(x) g'(x) + g(x) f '(x)
lim(△x->0) [f(x + △x) g(x + △x) - f(x) g(x)] / △x
=lim(△x->0) [f(x + △x) g(x + △x) - f(x + △x) g(x) + f(x + △x) g(x) - f(x) g(x)] / △x
=lim(△x->0) f(x + △x) [g(x + △x) - g(x)] / △x + lim(△x->0) g(x)[f(x + △x) - f(x)] / △x
=f(x) g'(x) + g(x) f '(x)