User blog comment:Nayuta Ito/Ordinal Ruler/@comment-11227630-20180308050842

In the case
 * Else, write the smallest term of the fundamental sequence of $$\beta$$ which is bigger than $$\alpha$$.

How to determine the position of "the smallest term of the fundamental sequence of $$\beta$$ which is bigger than $$\alpha$$", given $$\alpha$$ at position p and $$\beta$$ at position q (here p and q are real numbers)?