In[1]:= Reduce[(2 ^ n) / Factorial[n] < 10 ^ 3, n, Integers]

Reduce: This system cannot be solved with the methods available to Reduce.
Out[1]=

2n
Reduce < 1000, n, ℤ
n!

In[3]:= Reduce[Abs[(n) ^ (2 / n) - 1] / Factorial[n] < 10 ^ 3, n, Integers]

Out[3]=

n ⩵ 1 || (n ! ∈ ℝ && n ∈ ℤ && n ≥ 2)

In[4]:= Reduce[A < 10 ^ - 3, n, Integers]

Out[4]=

n ∈ ℤ && A ∈ ℤ && A ≤ 0

In[5]:= Reduce[A < 10, n, Integers]

Out[5]=

n ∈ ℤ && A ∈ ℤ && A ≤ 9

In[6]:= Reduce[A < 10 ^ - 7, n, Integers]

Out[6]=

n ∈ ℤ && A ∈ ℤ && A ≤ 0