Very nice article.
For a non mathematician, I struggled for quite a while through the 4 lines of relations (e.g. trying to figure out how b had to be greater than c for the third one), it was only later that I read 'for those numbers where a>b>c>d'. Maybe that should go first?
Also am curious about how the iterations play out in non decimal bases?