Added leibniz integral rule proof