User blog:Nayuta Ito/A simple way to compare ordinals