Claim G.1 — $\delta$ is unimodal with maximum at $\sqrt{a(S_1)a(S_2)}$ and symmetric under $y\mapsto a(S_1)a(S_2)/y$

Initializing...

Claim G.1 — $\delta$ is unimodal with maximum at $\sqrt{a(S_1)a(S_2)}$ and symmetric under $y\mapsto a(S_1)a(S_2)/y$ · Prove2Me