No more than $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$

Abstract

We prove a combinatorial theorem on families of disjoint sub-boxes of a discrete cube, which implies that there are at most $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$.