Real numbers/Floor/Definition

Floor

For a real number , the floor is defined as