Bijvoorbeeld, als #f(x)=x+1# en #g(x)=x^3+1#, dan is #f\cdot g# de functie met functievoorschrift \[\left(f\cdot g\right)(x)=f(x)\cdot g(x) = \left(x+1\right)\cdot \left(x^3+1\right) = x^4+x^3+x+1\tiny.\]

Dit betekent #(f\cdot g)'(x) = f'(x)\cdot g(x) + f(x)\cdot g'(x)# voor alle #x#.

Om de regel te bewijzen, herschrijven we differentiequotiënt als volgt:

\[\begin{array}{rcl} \text{differentiequotiënt}&=&\frac{f(x+h)g(x+h)-f(x)g(x)}{h} \\ &=& \frac{f(x+h)g(x+h)-f(x+h)g(x)+f(x+h)g(x)-f(x)g(x)}{h}\\ &=& \frac{(f(x+h)-f(x))g(x)+f(x+h)(g(x+h)-g(x))}{h}\\ &=& \frac{f(x+h)-f(x)}{h}g(x)+f(x+h)\frac{g(x+h)-g(x)}{h}\\ \end{array}\]

Nu kunnen we de limiet van het differentiequotiënt voor #h\to 0# berekenen:\[\begin{array}{rcl} \left(f\cdot g\right)'(x) &=& \lim_{h\to 0}\frac{f(x+h)g(x+h)-f(x)g(x)}{h}\\ &=&\lim_{h\to 0}\left( \frac{f(x+h)-f(x)}{h}g(x)+f(x+h)\frac{g(x+h)-g(x)}{h}\right)\\ &=&\lim_{h\to 0}\left(\frac{f(x+h)-f(x)}{h}g(x)\right)+\lim_{h\to 0}\left(f(x+h)\frac{g(x+h)-g(x)}{h}\right)\\ &=&\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}\cdot \lim_{h\to 0} g(x)+\lim_{h\to 0}f(x+h)\cdot \lim_{h\to 0}\frac{g(x+h)-g(x)}{h}\\ &=& f'(x)\cdot g(x)+f(x)\cdot g'(x)\tiny.\\ \end{array}\]