Kind of late to the party, but the (weak) contractibility follows from pi_i(S^\infty) = 0
$\pi_i(S^\infty) = 0$ for i>0
$i>0$.
David White
- 30.3k
- 9
- 154
- 250