^*⌊⋅⌋ denota “al mayor entero menos grande que”.