MathDB
multiples of 23 mod 2^n

Source: 2023 AIME II/15

February 16, 2023
AMCAIMEmodular arithmetic

Problem Statement

For each positive integer nn let ana_n be the least positive integer multiple of 2323 such that an1(mod2n)a_n\equiv1\pmod{2^n}. Find the number of positive integers nn less than or equal to 10001000 that satisfy an=an+1a_n=a_{n+1}.