Number theoryDifficulty 4.9AIMEProve itUnited States
Problem: Each of the positive integers a1,a2,…,an is less than 2016, and the least common multiple of any two is greater than 2016. Show that a11+⋯+an1<1+2016n.
Solution
Solution: By considering multiples of the ai which are less than 2016 (these don't overlap by condition) we derive ∑⌊ai2016⌋≤2016 Upon using the fact that ⌊x⌋>x−1, we then obtain ∑(ai2016−1)<2016. which rearranges to the desired conclusion.
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.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.