\max\{ k \in \mathbb{Z}:\ k \leq x \}