That result is false. For example, take 2×2 matrices and . Let and . Then .

If you don't like taking (because it's not strictly speaking positive definite) then you can replace it with a small positive multiple of the 2×2 identity matrix, and you will still find that is negative.