disequazione elementare tg x <= k