Proof Writing · Medium problem

For every real number $x$, $\sin x > 1$.

There is a real number $x$ such that $\sin x \le 1$.

There is no real number $x$ such that $\sin x > 1$.

There is a real number $x$ such that $\sin x > 1$.