Definition:Lower Wythoff Sequence

Definition
The lower Wythoff sequence is the Beatty sequence on the golden section $\phi$.

It starts:
 * $0, 1, 3, 4, 6, 8, 9, 11, 12, 14, 16, 17, 19, 21, \ldots$

Also see

 * Definition:Upper Wythoff Sequence