For any positive definite scalar product, real or complex, the inequality
holds. In particular, for complex numbers xi, yi one has
Ads when you’re not logged in.
Ads are shown when you’re not logged in.