lim x to infinity (floor(x/3) > floor(x/7))