Borsuk conjecture (source code)

= Borsuk conjecture
{c}
{wiki}

The Borsuk conjecture asserted that every bounded subset of $\mathbb R^d$ with positive diameter can be partitioned into $d+1$ subsets of strictly smaller diameter. It is false in sufficiently high dimension.