MathDB
Sequence and the greatest odd divisor

Source: Problem 3, Polish NO 1993

October 6, 2005
number theory solvednumber theory

Problem Statement

Denote g(k)g(k) as the greatest odd divisor of kk. Put f(k)=k2+kg(k)f(k) = \dfrac{k}{2} + \dfrac{k}{g(k)} for kk even, and 2(k+1)/22^{(k+1)/2} for kk odd. Define the sequence x1,x2,x3,...x_1, x_2, x_3, ... by x1=1x_1 = 1, xn+1=f(xn)x_{n+1} = f(x_n). Find nn such that xn=800x_n = 800.