montrer par absurde que √n²+7n+12 n'appartient pas a IN​