Let $H$ be a complex Hilbert space, $A$ a bounded operator and $|A|$ the unique positive square root of $A^*A$. In a comment in Bounded self adjoint operator can be written as difference of positive operators it is suggested that $|\langle Ax,x\rangle| \leq \langle |A|x,x\rangle$, and that this is a consequence of the Polarization identity. How?
I'm trying to show that $A$ has an absolutely convergent trace $\sum\langle Ae_i,e_i\rangle$ if $|A|$ has.
Related: Does $|\langle x,Ax\rangle |=\langle x,|A|x\rangle$ for bounded operators on Hilbert space?