Fun maximizar_espacio_ocupado(prog[1..n] de nat, D: nat) dev