Artificial intelligent assistant

Infimum of a certain set Let $A$ be the set $$A=\left\\{ |\sin(n)| : n\in\mathbb{N} \right\\},$$ then what is the infimum of $A$? I think the infimum is a positive quantity. I tried with the graph $$f(x)=|\sin(x)|,$$ but didn't come up with anything.

First, note that the zeroes of $\sin x$ are precisely the integer multiples of $\pi$.

By Hurwitz' Theorem), there are infinitely many pairs of relatively prime integers $a, b$ such that $$\left\vert\pi - \frac{a}{b}\right\vert < \frac{1}{\sqrt{5} b^2},$$ and in particular we can approximate $\pi$ arbitrarily closely with such $(a, b)$. Multiplying through by $b$ gives that $$|b \pi - a|< \frac{1}{\sqrt{5}b}.$$

Since the derivative of $\sin x$ is bounded in magnitude by $1$, we have for each pair $(a, b)$ that $$|\sin a| = |\sin(b \pi - a)| \leq |b \pi - a| < \frac{1}{\sqrt{5} b}.$$

The right-hand side can be made arbitrarily small by taking large enough $b$, and so we can find (corresponding) $a$ such that $|\sin a|$ is as close to zero as desired.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy b77798309a4d3a612e3429617a80e62a