In a group of mathematicians, every mathematician has some friends (the relation of friend is reciprocal). Prove that there exists a mathematician, such that the average of the number of friends of all his friends is no less than the average of the number of friends of all these mathematicians.
combinatoricsExtremal combinatoricsExtremal Graph Theorygraph theoryvertex degreeIMO ShortlistIMO Longlist