\begin{definition}[Definition:Lower Wythoff Sequence]
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$
{{OEIS|A000201}}
\end{definition}