Helstrom-Holevo bound (source code)

= Helstrom-Holevo bound
{c}

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