def test_issue_9115():
    n = Dummy('n', integer=True, nonnegative=True)
    assert (factorial(n) >= 1) == True
    assert (factorial(n) <= 1) == False
dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py/test_issue_9115/operator `<` -> `<=`