smallest ordinal following a given ordinal