Now solve $ \sin(2x) = \frac{\sqrt2}2 $ for $ x \in (0, \pi) $. Then $ 2x \in (0, 2\pi) $. - AMAZONAWS