factorial(n) is not known to be at least n for a nonnegative integer n

[pelegm]

Continuing the line of #9115 and #9150:

>>> n = Symbol('n', integer=True, nonnegative=True)
>>> factorial(n) >= n
factorial(n) >= n

[himanshukgp]

I understand that python is printing string. It should compare and give boolean. I saw through previous issues but couldn't figure where to look in the code to bring required result. Please guide me through it. Thankyou

[ManasGupta1998]

I feel the problem we are encountering is that n is a symbol type parameter whereas factorial(n) returns factorial type which python is unable to compare.

[asmeurer]

I'm not sure if this is something that should evaluate automatically.

[pelegm]

OK, but it should at least be evaluated upon request, somehow.