Set Theoryhard
0:00.0

Let An={xR:sin(x)11n}A_n = \{x \in \mathbb{R} : \sin(x) \ge 1 - \frac{1}{n}\} for each nNn \in \mathbb{N} (starting from 1). Determine the set S=n=1AnS = \bigcap_{n=1}^{\infty} A_n.