Talk:Positive Infinity is Maximal

I don't care what you call it, as long as it works. You moved my proof down to second place, which doesn't make sense yet because yours relies on a result whose only current proof relies on this one. --Dfeuer (talk) 08:23, 7 January 2013 (UTC)

Touché. In any case, my proof proves Positive Infinity is Greatest Element, which implies this result, once we know $\overline \R$ is an ordered set. I'll separate the two later today (I have to finish a take-home exam first). Apologies for temporary inconvenience. --Lord_Farin (talk) 08:36, 7 January 2013 (UTC)