Visual proof of product rule calculus