Another simple proof of a theorem of Milner (Q1304631)

A theorem of Milner states that if \(F\) is a family of subsets of \(\{1,\dots, n\}\) such that \(A\cap B\neq\varnothing\) and \(A\not\subset B\) for all \(A,B\in F\) then \(|F|\leq\left(\begin{smallmatrix} n\\ \lceil{n+1\over 2}\rceil\end{smallmatrix}\right)\). The author presents a proof of this theorem using the standard shifting technique and the cycle method applied to the two middle levels.