MathDB
Putnam 1997 B5

Source:

May 30, 2014
Putnammodular arithmeticcollege contests

Problem Statement

Let us define a sequence {an}n1\{a_n\}_{n\ge 1}. Define as follows: a1=2 and an+1=2an for n1 a_1=2\text{ and }a_{n+1}=2^{a_n}\text{ for }n\ge 1 Show this : anan1(modn) a_{n}\equiv a_{n-1}\pmod n