Wie kommt man auf folgende Ungleichung mit Ceiling-Funktion?

Question

Gibt es für die Ceiling Funktion Ungleichungen, die ich nicht kenne?

Oder ist es eine Ungleichung, die nur im Kontext meines Themas gültig ist? Dank im Voraus

Answer 1

Gibt es für die Ceiling Funktion Ungleichungen, die ich nicht kenne?

Was anderes als das offensichtliche \(\lceil x\rceil\ge x\) wird nicht gebraucht.