If $[x]$ is the greatest integer function not greater than $x$, then $\int_\limits0^8[x] d x$ is equal to