disequazione elementare cos x <= m