MathDB
Find the smallest nomial

Source: Romanian team selection test 1994, 3rd exam, problem 1

October 19, 2005
quadraticsmodular arithmeticnumber theory proposednumber theory

Problem Statement

Find the smallest nomial of this sequence that a1=199319941995a_1=1993^{1994^{1995}} and an+1={an2if n is evenan+7if n is odd. a_{n+1}=\begin{cases}\frac{a_n}{2}&\text{if $n$ is even}\\a_n+7 &\text{if $n$ is odd.} \end{cases}