The thousandth harmonic number, , is not an integer.
In[1]:=
Out[1]=
This number-theoretic inequality is true for integers greater than .
In[2]:=
Out[2]=
See also IntegerQ.