Multiplication of Positive Number by Real Number Greater than One

Theorem
Let $x$ and $y$ be real numbers.

Let $x > 1$.

Let $y > 0$.

Then $\dfrac y x < y$.