Arquivo tipado

Considere um arquivo de acesso direto (File of real) de números reais.
Um arquivo de reais é dito monótono se e somente se o real na posição
i é menor ou igual ao real na posição i+1, ou seja: x(i) <= x(i+1) para todo i.

Faça um programa em Pascal que leia um arquivo de reais, escolhido pelo usuário,
e diga se ele é monótono ou não. Em seguida, modifique o arquivo lido para que
ele se transforme em um arquivo monótono, da seguinte forma: quando x(i) > x(i+1),
o valor de x(i+1) recebe o valor de x(i).
Ao final, mostre o conteúdo do arquivo modificado.

Exemplo: Suponha o arquivo com a seguinte sequência de valores:
3, 8, 5, 12, 4, 9, 10, 15, 18, 2.
A mensagem de arquivo não monótono deve ser escrita.
A listagem do arquivo modificado ficaria:
3, 8, 8, 12, 12, 12, 12, 15, 18, 18.

Quem souber agradeço