Let $H$ be a Hilbert space. Let $e_1\ \ldots\ e_n$ be vectors such that $\forall_{k=1\ldots n}\ \|e_k\|\le 1$ for a natural $n$ (to me natural numbers are always positive). I am addressing $(n-1)$-simplex for the sake of avoiding eyesores. Then: $$ 0\ \le\ (e_1+\ldots +e_n)^2\ \ \le\ \ n\ +\ 2\cdot\sum_{j\ne k}e_j\cdot e_k $$ It follows that there exist $j\ne k$ such that $$ e_j\cdot e_k\ \ \ge\ \ \frac{-n}{2\cdot\binom n2}\ =\ \frac1{1-n}$$ and the rest is clear.