Geoff has an infinite stock of sweets, which come in $n$ flavours. He arbitrarily distributes some of the sweets amongst $n$ children (a child can get sweets of any subset of all flavours, including the empty set). Call a distribution $k-\textit{nice}$ if every group of $k$ children together has sweets in at least $k$ flavours. Find all subsets $S$ of $\{ 1, 2, \dots, n \}$ such that if a distribution of sweets is $s$-nice for all $s \in S$, then it is $s$-nice for all $s \in \{ 1, 2, \dots, n \}$.

[i]Proposed by Kyle Hess, USA[/i]
1. **Define Nice and Mean Subsets:**
   - A subset \( S \subseteq \{1, 2, \ldots, n\} \) is called *nice* if a distribution of sweets that is \( s \)-nice for all \( s \in S \) is also \( s \)-nice for all \( s \in \{1, 2, \ldots, n\} \).
   - A subset that is not nice is called *mean*.

2. **Contrapositive Argument:**
   - If \( T \subseteq S \) and \( T \) is nice, then \( S \) is also nice.
   - Contrapositively, if \( S \) is mean, then any subset \( T \subseteq S \) is also mean.

3. **Identify Mean Subsets:**
   - We need to show that for each \( k \in [n] \), the subset \( S_k = \{1, 2, \ldots, k-1, k+1, \ldots, n\} \) is mean.
   - Consider the sweets as \( a_1, a_2, \ldots, a_n \).

4. **Distribution of Sweets:**
   - To the first \( k \) children (called *sad*), give the sweets \( a_1, a_2, \ldots, a_{k-1} \) (if \( k = 1 \), give them nothing).
   - To the remaining children (called *happy*), give every candy.

5. **Check \( m \)-nice for \( m \in S_k \):**
   - For \( 1 \leq m \leq k-1 \), every child has \( k-1 \) candies, so every group of \( m \) children has at least \( m \) candies.
   - For \( n \geq m \geq k+1 \), there must be at least one happy kid in any group of \( m \) kids. This happy kid has all the candies, so the group of \( m \) people contains at least \( m \) candies.
   - Thus, for every \( m \in S_k \), the distribution is \( m \)-nice.

6. **Check \( k \)-nice:**
   - Consider the group of all sad kids. They are a group of \( k \) kids but only have the candies \( a_1, a_2, \ldots, a_{k-1} \).
   - This implies the distribution is not \( k \)-nice, so \( S_k \) is mean.

7. **Conclusion for Nice Subsets:**
   - If \( T \subseteq [n] \), there exists \( 1 \leq m \leq n \) such that \( m \not\in T \) (since \( T \neq [n] \)).
   - Thus, \( T \) must be a subset of \( S_m \). Since \( S_m \) is mean, \( T \) is also mean.
   - Therefore, the only nice subset is \( [n] \).

8. **Verification:**
   - Obviously, \( [n] \) works because if a distribution is \( s \)-nice for all \( s \in [n] \), it is \( s \)-nice for all \( s \in [n] \).

The final answer is \( \boxed{[n] = \{1, 2, \ldots, n\}} \)