Log Product Rule Proof