 Helstrom-Holevo bound

Equiprobable pure states of overlap magnitude $c$ have optimal discrimination probability $\frac{1}{2}(1+\sqrt{1-c^2})$.