Problem #PRU-98152

Problems Algebra and arithmetic Number theory. Divisibility Division with remainders. Arithmetic of remainders Division with remainder Calculus Functions of one variable. Continuity Periodicity and aperiodicity Probability and statistics Probability theory Probability theory (other) Methods Algebraic methods Proof by exhaustion

Problem

A numerical sequence is defined by the following conditions: \[a_1 = 1, \quad a_{n+1} = a_n + \lfloor \sqrt{a_n}\rfloor .\]

Prove that among the terms of this sequence there are an infinite number of complete squares.