( x <= y          )
    &&(      y <= n * x )