Definition:Upper Wythoff Sequence/Definition 2

Definition
The upper Wythoff sequence is the Beatty sequence on the square $\phi^2$ of the golden section $\phi$.

It starts:
 * $0, 2, 5, 7, 10, 13, 15, 18, 20, 23, 26, 28, 31, 34, \ldots$

Also see

 * Equivalence of Definitions of Upper Wythoff Sequence