Product Rule Differentiation Proof