Himpunan penyelesaian dari pertidaksamaan 1 + (1 - akar(2))

Himpunan penyelesaian dari pertidaksamaan 1 + (1 - akar(2)) sin t - akar(2) sin^2 t <= 0 dengan pi/2 < t < pi adalah...