1,2

The terms are members of A001906, the even-indexed Fibonacci numbers. The defining inequality {-m*tau} < {n*tau} is equivalent to {m*tau} + {n*tau} > 1.

Table of n, a(n) for n=1..102.

a(2)=3 because {-m*tau} > {2*tau} = 0.236... for m=1,2, whereas {-3*tau} = 0.145..., so that 3 is the least m for which {-m*tau} < {3*tau}.

Cf. A134566, A134570, A134571.

Sequence in context: A049290 A297191 A147990 * A131932 A016462 A198618

Adjacent sequences: A134564 A134565 A134566 * A134568 A134569 A134570

nonn

Clark Kimberling, Nov 01 2007

approved