Problem 5
Given positive integers and , find the smallest positive integer such that among any people, either there are people who can be divided into pairs of mutually acquainted people, or there are people who can be divided into pairs of mutually unacquainted people.
Step 2 of 5: Build the lower-bound example
Detailed analysis
Take a group of people: a -clique, together with isolated people who know nobody else. There are not mutually acquainted people, and among the isolated people plus clique structure there are not people forming mutually unacquainted pairs. Hence .