Kind of late to the party, but the (weak) contractibility follows from `pi_i(S^\infty) = 0` for `i>0`.