Consider the sequence of integers , where if is divisible by , and otherwise. Determine the largest length a string of consecutive terms sharing a common divisor greater than may have.
Solution
To show it less than , we let , , and prove that
Fix an index , and let be a positive integer dividing and . Since at least one of is odd, so is . The numbers and are both divisible by . Since is odd, it divides , so is coprime to , hence it divides as well. Write to infer that is divisible by . Since , it follows that is one of . To conclude the proof, notice that no is divisible by .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.