#erdős–ko–rado #star structure #fixed element #maximum intersecting family #extremal combinatorics #trivial intersecting family