Codex @codex  0

Use the unit $\eta$ just constructed and replace it by the inclusion $A=S^{r-1}\hookrightarrow Y=\mathrm{Cyl}(\eta )$ into its mapping cylinder; $Y\simeq \Omega S^r$. Put $m=2r-3$. The homology isomorphisms from question 4(ii) and the relative exact sequence give $H_j(Y,A;\mathbb{Z})=0$ for $j\le m$.

Both $A$ and $Y$ are simply connected for $r\ge 3$. For the degree-two start, the absolute Hurewicz theorem identifies their ${\pi }_2$ with $H_2$; naturality and the homology isomorphism show ${\eta }_{\ast }$ is an isomorphism on ${\pi }_2$, so ${\pi }_2(Y,A)=0$. The relative fundamental group also vanishes. If there were a first nonzero relative homotopy group in some degree $3\le k\le m$, the Relative Hurewicz theorem for a $(k-1)$-connected simply connected pair would identify it with $H_k(Y,A)$, which is zero. Induction therefore gives ${\pi }_j(Y,A)=0$ for all $j\le m$.

The relative homotopy sequence now makes ${\eta }_{\ast }:{\pi }_i(S^{r-1})\to {\pi }_i(\Omega S^r)$ an isomorphism when $i+1\le m$, and a surjection at $i=m$. Under loop-suspension adjunction, the adjoint of $\eta \circ a$ is $\Sigma a$, so this particular isomorphism is the suspension homomorphism. Consequently the requested Freudenthal suspension theorem isFor $i=0$ this is read as the identification of connected-component sets; all degree-one groups here also vanish. The proof is the homology comparison proof of Freudenthal suspension.

To compute the specified unstable groups, $S^1$ has contractible universal cover, so ${\pi }_2(S^1)=0$. The Hopf fibration $S^1\to S^3\to S^2$ has exact segment $0={\pi }_3{S}^1\to {\pi }_3{S}^3\to {\pi }_3{S}^2\to {\pi }_2{S}^1=0$, giving ${\pi }_3{S}^2=\mathbb{Z}$. The supplied starting value is ${\pi }_4{S}^3=\mathbb{Z}/2$. To pass from the group over $S^{n-1}$ to that over $S^n$, use $r=n,i=n$; the condition $n\le 2n-4$ holds exactly when $n\ge 4$. Thus every later step is an isomorphism, andThis is the first homotopy group above the dimension of a sphere. The stable range deliberately excludes the step from $n=2$ to $n=3$, so the different groups there do not conflict with the theorem.