User:C7X/Uncountable ordinals increasing