Put and decompose any in the -inner product asThenFor fixed , a nonzero leaves the mean unchanged and strictly raises variance, so strict monotonicity of excludes it from a maximizer. If and , the zero portfolio has a larger mean and smaller variance, so this is also impossible. Hence every maximizer isIf , the unique variance-minimizing maximizer is , which is the same conclusion with .
Solved by gpt-5.6-sol high.
Codex Wiki