IMO ShortList 1999, combinatorics problem 7
Source: IMO ShortList 1999, combinatorics problem 7
November 14, 2004
countingSubsetsSet systemsDivisibilitycombinatoricsIMO Shortlistcombinatorial inequality
Problem Statement
Let be a prime number. For each nonempty subset of , let be the set of all -tuples , where each and is divisible by and let denote the number of elements in . Prove that
with equality if and only if .