Solução 1. ?@exr-0022
São propostas duas soluções para o problema.
A especificação deixa em aberto quais valores existem na sequência, os quais podem ser tão pequenos ou tão grandes quanto possível. Desta forma, a versão seguinte opta por iniciar a variável \(\Id{valor\_mínimo}\) com \(+\infty\), forçando a primeira substituição logo no primeiro valor da sequência.