cpotnivo >= compnivo