りりむ、積分の公式を自ら導く