Relative Entropy Is Positive