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. Issue 14 (November 2016)