integrate from 0 to 10 ceil(x)*dx