I think I see one potential flaw. By mathematical induction i have proved this over the interval x = [0, infinity) and this interval does not include infinity (which of course is a concept, not a number.)

Therefore my predicate cannot be evaluated at infinity, only at numbers with arbitrarily large magnitudes. What do you guys think?