"x" ≤ "f"("x").