I'm working on a Taylor polynomial remainder problem, and then i got stuck to this inequality right here
$(10.000)(2^{x+1})(e^{12}) < (x+1)!$
Using wolfram alpha the result is $x>12 but I don't understand the method. How to solve for a variable in an inequality if factorial is involved?