Definition:Upper Wythoff Sequence/Definition 1

Definition
The upper Wythoff sequence is the complementary Beatty sequence on 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