Qual é o menor valor que a expressão cos² 𝑥 − 3 cos 𝑥 ⋅ sen 𝑥 + s𝐞n² 𝑥 pode assumir, para 𝑥 ∈ ℝ?