Câu hỏi 4
Cho $n$ là số nguyên dương. Gọi $S_1,S_2,\ldots,S_k$ là một họ các tập con có $2n$ phần tử của $\{1,2,3,4,\ldots,4n-1,4n\}$, sao cho $S_i\cap S_j$ chứa nhiều nhất $n$ phần tử với mọi $1\le i\lt j\le k$. Chứng minh
$$k\le6^{(n+1)/2}.$$
$$k\le6^{(n+1)/2}.$$