For every nonzero-risk portfolio,
Equality holds precisely for
The maximum is therefore . For each resulting mean, part (a) shows that this portfolio has the least possible variance, so every maximizer lies on the mean-variance efficient ray.