realanal: prove  product rule.