Prove that

We know that

|sin x| = -sin x in [-π/4, 0)

|sin x| = sin x in [0, π/4]