Sperner's theorem on antichains - where does it come from?
Sperner proved in 1927 (the paper was published in 1928) his theorem stating that the maximal size of an antichain of subsets of $[n]$ is $\binom{n}{n/2}$. In the introduction to his paper, he mentions that it was Schreier (his advisor) who suggested the question to him. Where did this question come from?
One possibility is Schreier's involvement in proving van der Waerden's theorem on arithmetic sequences. According to van der Waerden, he proved his theorem while visiting Hamburg (where Schreier was based), following a discussion with Schreier and Artin. However, the connection is a bit tenuous.
Deleted while there was a bounty on offer, since it didn't actually answer the question. Undeleted now that the bounty has passed, since the information might be useful to someone else.
Bernhard Beham and Karl Sigmund, A short tale of two cities: Otto Schreier and the Hamburg-Vienna connection, The Mathematical Intelligencer, Volume 30, Number 3, 2008, 27-35, doi: 10.1007/BF02985376.
From page 33:
The main content of that seminar was a paper by Witold Hurewicz (1904-1956) and Karl Menger on dimension, which appeared (after many corrections suggested by Schreier) in 1928 in the Mathematische Annalen. By the time it was published, a considerable part of it had been overtaken by events. Indeed, another rising star started to shine in the Artin-Blaschke- Schreier seminar: Emmanuel Sperner (1905-1980) proposed a lemma on the coloring of simplicial decompositions, which greatly simplified the proof of Lebesgue's covering theorem. Sperner's lemma caused Lebesgue's approach to become the most widely used definition of topological dimension (a set is $n$-dimensional if each open cover can be refined so that each point lies in at most $n+1$ open sets). Schreier reported enthusiastically to Menger:
Dear Karl! You will certainly be astonished that I reply so quickly to your kind letter. The main reason is the following: I had recently submitted to our best student, Mr. E. Sperner, the problem to find a nicer proof for Lebesgue's theorem on ${\bf R}^n$. To my pleasure he brought me yesterday an absolutely delicious proof. Since I hope that you will also be happy about it, I will immediately describe to you the proof, which is due to appear in our proceedings . . .
When Sperner submitted his PhD thesis in 1928, Schreier's report minced no words: 'The following proof has to be qualified as a true work of art.... Finally the invariance of dimension is truly accessible, it follows in a trivial way'.