integrate(1/2!)
Thanks anon ☺
That is most definitely correct!
We have the general formula:
$$\int k dx = kx + C$$
Where k is a constant.
So we get:
$$\int \frac{1}{2}dx = \frac{1}{2}x+C$$