 Solution

Optimality gives $Q(\hat{\beta })\le Q({\beta }^0)$. Substitute $Y=X{\beta }^0+\epsilon$, expand both squared norms, and cancel $\Vert \epsilon {\Vert }_2^2/(2n)$. Rearranging givesThis exposes a factor-of-two typo in the paper: its requested display has $1/n$ rather than $1/(2n)$ on the left while leaving the right side unchanged. For the objective printed in the paper, the displayed inequality above is the correct basic inequality. Part (b) explicitly asks us to use the stronger stated version, so the subsequent argument proceeds from that requested premise.