$\int_0^1 x dx = \frac12$