User:TakuyaMurata/Sandbox

This $$\int_a^x \!\!\!\int_a^s f(y)\,dy\,ds = \int_a^x f(y)(x-y)\,dy$$ is something.