Proof Writing & Problem SolvingSuperchallenge
Proof Writing & Problem Solving · Superchallenge problem
The Euclidean algorithm on a pair repeatedly replaces by , where is the remainder of divided by , stopping when a remainder is ; each division counts as one step. What is the smallest for which some makes the algorithm take exactly steps?