Here's the new thread for posting quotes, with the usual rules:
Please post all quotes separately, so that they can be voted up/down separately. (If they are strongly related, reply to your own comments. If strongly ordered, then go ahead and post them together.)
Do not quote yourself.
Do not quote comments/posts on LW/OB.
No more than 5 quotes per person per monthly thread, please.
My understanding is that given those eight definitions, it is impossible to prove any inequalities, because no inequality is given as an axiom, nor any properties that are true of some numbers but not others.
Here's the new thread for posting quotes, with the usual rules: