MathDB
Positive integers in the sequence - IMO LongList 1992 TWN1

Source:

September 2, 2010
number theorySequenceSubsetIMO ShortlistIMO Longlistfloor function

Problem Statement

A sequence {an}\{an\} of positive integers is defined by an=[n+n+12],nNa_n=\left[ n +\sqrt n + \frac 12 \right] , \qquad \forall n \in \mathbb N Determine the positive integers that occur in the sequence.