floor and ceiling functions
functions of a real returning respectively the largest smaller and the smallest larger integer
empirical distribution function
distribution function associated with the empirical measure of a sample
functions of a real returning respectively the largest smaller and the smallest larger integer