Definition
Floor function
The greatest integer not exceeding a real number.
For a real number , its floor is the unique integer satisfying
Existence follows from the Archimedean property and the well-ordering of nonnegative integers; uniqueness follows because distinct integers differ by at least one.
Examples and properties
, whereas . For every integer , . The function is constant on each interval and jumps at the integers. Holding a selected floor index fixed while differentiating another variable is different from differentiating the floor as a function of that variable.