MathNet 2015-part-05 — 191 bài (EN–VI) Câu hỏi 144

Tìm tất cả các số thực $x$ thỏa mãn bất phương trình
$$
2 \sin^2 2x \geq 3 \cos 2x.
$$