Art of Problem Solving

Greatest integer function