For
between
and
, we have
is continuous over its domain, so the intermediate value theorem tells us that

is true for
.
For all
, we take into account that
is
-periodic, so the above inequality can be expanded to

where
is any integer. Equivalently,

To get the corresponding solution set for

simply replace
with
:

