More on Sequences — Question 3

Question 3 – Solution

Step 1: Establish boundedness.

For every real $x$, its fractional part satisfies $0\le\{x\}<1$. Therefore $0\le a_n<1$ for all $n$, and the sequence is bounded.

Step 2: Use irrationality and density.

Because $\sqrt2$ is irrational, the density theorem for irrational rotations says that the set $\{\{n\sqrt2\}:n\ge1\}$ is dense in $[0,1]$. In particular, every open subinterval contains infinitely many terms, allowing the selection of increasing subsequence indices.

Step 3: Construct two subsequences.

For each positive integer $j$, choose increasing indices $n_j$ and $m_j$ such that $$0<a_{n_j}<1/j,\qquad 1/2-1/j<a_{m_j}<1/2+1/j.$$ The first inequality and Squeeze Theorem give $a_{n_j}\to0$; the second gives $a_{m_j}\to1/2$.

Step 4: Apply the subsequence criterion.

Every subsequence of a convergent sequence must approach the same limit as the original sequence. Since these two subsequences have different limits, $(a_n)$ diverges. Boundedness alone guarantees neither monotonicity nor convergence.