How to derive the PRODUCT RULE from scratch