^*⌊⋅⌋ denota “al menor entero más grande que”.