Solution:
We first show that there exist teams A,B and C, such that A wins over B,B wins over C and C wins over A. Suppose the contrary and take the shortest cycle of m≥4 teams A,B,C1,…,Ct (i.e. t≥2), such that A wins over C1,C1 wins over C2,…,Ct wins over B and B wins over A. Consider the game between C2 and A. If C2 is the winner then we have the desired triple and if A is the winner then we have a shorter cycle.
Now we shall use induction on k. The case k=3 was considered above. Suppose that the teams A1,A2,…,Ak satisfy the condition of the problem for 3≤k<n. There are two cases to be considered.
Case 1. There exists a team U∈/{A1,A2,…,Ak}, for which there are two teams Ai and Aj such that Ai wins over U and U wins over Aj. Without loss of generality assume that A1 wins over U. Let Aℓ be the team of the least index that loses from U. Then the following k+1 teams
A1,…,Aℓ−1,U,Aℓ,…,Ak
have the desired property.
Case 2. For any two teams Ai and Aj and any team U either Ai loses from U or Ai and Aj both win over U.
Partition all teams apart from A1,A2,…,Ak in two sets S and T, such that all teams from S win over A1,A2,…,Ak, and all teams from T lose from A1,A2,…,Ak. It is clear that S∩T=∅ and none of S and T is the empty set.
Let U∈S and V∈T be such that V wins over U (such a pair exists due to the condition of the problem). Now the following k+1 teams
U,A1,…,Ak−1,V
have the desired property.