I have try to solve following inequalities using `Mamthematica`. But it unable to solve that.

    Reduce[ForAll[{n}, Implies[{n, N1} >= 0 && n < N1, n < A]] && 
      N1 >= A, {N1,A}, Integers]

If we solve that manually,it is very simple.Please Suggest . am I making any mistake or other way to handle this type of problem?