La seule façon de résoudre ce problème est de vérifier que tab[i - 1] < tab[i] < tab[i + 1] pour chaque position i dans le tableau.

Le nombre d'itérations de cette boucle est connu à l'avance.

Le nombre maximum d'itérations de cette boucle est atteint lorsque le tableau est trié par ordre croissant.

On peut exécuter une boucle Tant Que qui s'arrête dès que tab[i] > tab[i + 1] pour des indices valides i et i + 1.