Statement: There exists a real number x such that for all real numbers y, xy > y.
a) Rewrite the given statement formally (using variables and the appropriate quantifiers).