An analytical upper bound on the number of loci required for all splits of a species tree to appear in a set of gene trees.