Elementi mai rimossi dalla pila, seconda istanza (NGE)

Il seguente algoritmo calcola, per ogni elemento di un array, il prossimo elemento maggiore alla sua destra usando una pila (stack) di indici:

stack = []   # pila di INDICI, valori a[i] tenuti in ordine decrescente
for i from 0 to n-1:
    while stack is not empty and a[stack.top] < a[i]:
        stack.pop()      # ogni pop conta come UNA operazione
    stack.push(i)
return total_pops

Applicandolo all'array $[2, 6, 3, 9, 1, 8, 4, 7, 5]$ (indicizzato da $0$), quanti elementi dell'array non vengono mai rimossi dalla pila durante l'intera esecuzione?