Agree with Jim that there doesn't seem to be any Mathematica involved in this question. But given some simple types of distributions, it would be easy to prove the statement. Consider if we just looked at Y and 1/Y. Those are clearly negatively correlated.
Here is a visualization using simple uniform distributions.