Larman's dimension step: $\Delta(d+1,n)\le 2^{d-2}n-1$ from $\Delta(d,m)\le 2^{d-3}m-1$

Initializing...

Larman's dimension step: $\Delta(d+1,n)\le 2^{d-2}n-1$ from $\Delta(d,m)\le 2^{d-3}m-1$ · Prove2Me