[0BS] For xββ we define βxβ to be the floor function defined as the greatest integer less than or equal to x, as in