Further Examples: Floor

Here is the floor of a few numbers.

In[1]:=

Out[1]=

Simplify recognizes that is an integer when n is a positive integer and x is real.

In[2]:=

Out[2]=

Here is an expression.

In[3]:=

It is not possible to show that Floor[expr] is 0 without increasing the precision.

In[4]:=

Out[4]=

This shows that Floor[expr] is .

In[5]:=

Out[5]=

In[6]:=