f(x)=x∧2-∫f(t)dt