Diminuindo impl do monotone chain (usando funcoes do CP3)