Math geeks only

[Strangler Lewis]

Then how much of a number theory problem is it?

Is "For all C > -40: 9/5 * C + 32 > C" a number theory problem?

[Ghoulish Delight]

Originally Posted by Strangler Lewis

Then how much of a number theory problem is it?

Is "For all C > -40: 9/5 * C + 32 > C" a number theory problem?

Yes, it is. A very striaght forward one, but a provable theory none the less.

Like I said, I'm aware that it's a fairly self-evident truth. But in terms of mathematic rigor, would more detail be required (the answer may very well be no)?