Fannes–Audenaert inequality (source code)

= Fannes–Audenaert inequality
{wiki=Fannes–Audenaert_inequality}