Subcontests
(5)n Tans
Let a0,a1,⋯,an be numbers from the interval (0,π/2) such that tan(a0−4π)+tan(a1−4π)+⋯+tan(an−4π)≥n−1. Prove that tana0tana1⋯tanan≥nn+1. Disjoint Pairs
Suppose that the set {1,2,⋯,1998} has been partitioned into disjoint pairs {ai,bi} (1≤i≤999) so that for all i, ∣ai−bi∣ equals 1 or 6. Prove that the sum ∣a1−b1∣+∣a2−b2∣+⋯+∣a999−b999∣ ends in the digit 9.