The definition of the above sequence begins "a(n) = least positive integer < a(n-1)." Shouldn't it be "a(n) = least positive integer > a(n-1)"? That is, shouldn't the less-than sign be a more-than sign? Best, Harvey