1990 mathematicians attend a meeting, every mathematician has at least 1327 friends (the relation of friend is reciprocal). Prove that there exist four mathematicians among them such that any two of them are friends.
combinatoricsgraph theoryExtremal Graph TheoryClique numberIMO ShortlistIMO Longlist