integral[arctg(floor(x))),x,0,2]