Greatest Integer Functions

The greatest integer function takes an input and produces the greatest integer less than the input. Thus, the output is always smaller than the input and is an integer itself. Since our input was , we are looking for an integer less than this, which must be since any smaller integer would by definition not be "greatest".