その辞書式順序超実数でも
1-0.999…
と
√2-st(√2)
の大小くらいランダウの位数とオーダーを辞書式順序超実数版にアレンジして応用すれば
判定できる様になるんじゃないの？