I've been asked to proof the product rule. I am fine with that, my proof was accepted completely. Nevertheless, for me personally the very last step seems to be not totally incorrect, but, let say, "intuitive" or "inductive" to some extend. Not to confuse people, will mention few fateful points of my reasoning:
At some moment I've proved that: $$f(x + \delta) = A + B \times \delta + o(E(\delta))$$ where:
- $o(E(\delta))$ means "of less order than $\delta$", i.e. $\lim_{\delta \to 0}\frac{E(\delta)}{\delta} = 0$;
- $A = f(x)$;
- $B = f'(x)$.
After that I took both $f(x + \delta)$ and $g(x + \delta)$ assumed to be differentiable at the point $x$. Hence: $$f(x + \delta) \times g(x + \delta) = [f(x) + f'(x)\delta + o(E(\delta))] \times [g(x) + g'(x)\delta + o(E(\delta))]$$ $$= f(x)g(x) + [f(x)g'(x) + g(x)f'(x)] \times \delta + \biggl( [f(x) + f'(x)\delta]o(E(\delta)) + [g(x) + g'(x)\delta]o(E(\delta)) + [o(E(\delta))]^2\biggr)$$
HERE GOES MY QUESTION:
I've noticed that the last equation could be reformulated as: $$A = f(x)g(x)$$ $$B = f(x)g'(x) + g(x)f'(x)$$ $$o(E(\delta)) = \biggl( [f(x) + f'(x)\delta]o(E(\delta)) + [g(x) + g'(x)\delta]o(E(\delta)) + [o(E(\delta))]^2\biggr)$$
The question is: shouldn't I proof somehow (have no idea how, actually) that the pattern above is applicable here? Last step seems to be more of blinded guessing rather than an undeniable logical deduction...