ここの7番
http://math.stackexchange.com/questions/44559/formal-proof-for-a-subset-of-the-real-numbers-well-ordered-with-the-normal-orde