Definition:Upper Wythoff Sequence

Definition 2
The upper Wythoff sequence 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


 * Definition:Lower Wythoff Sequence