For any positive definite scalar product, real or complex, the inequality
holds. In particular, for complex numbers xi, yi one has