User blog comment:LittlePeng9/ITTM galore/@comment-24509095-20140326102311/@comment-1605058-20140326142350

Simplest, I believe, w^2 well order is similar to my pairing function (I will skip 0): 1,3,5,7,...,2,6,10,14,...,4,12,20,28,...8,24,40,..., so, to be exact, 2^a*(2b+1) is above 2^c*(2d+1) if a>b or (a=b and c>d).