Algoritmia - Duda Algoritmo de verificación

Buenas, quisiera saber si me pueden ayudar con la siguiente duda;

Quiero saber que problema resuelve el siguiente algoritmo y como lo puedo anotar completo con su precondición, poscondición, invariante y cota, gracias espero me saquen de la incertidumbre...

var arr:array[0..n-1] of R, n:N, s:N , r:N, k:N; (arr, n constantes)
proc f(arr:array[0..n-1] of R, n:Z) return r:N
s,r,k:=0,0,0;
do k<n -> if k>0 y arr[k] <= arr[k-1] -> s:=s+1
[ ] k=0 o arr[k] > arr[k-1] -> s:=1
fi;
r,k:=r max s, k+1
od
corp