8. Let denote the sum of all positive integers not exceeding and coprime with . Prove: If , then .
Solution
8. We need to deduce from . Let , and use equation (5) to prove sequentially: .
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.