Python 3, 72 \$\cdots\$ 46 43 bytes
Saved 7 bytes thanks to the man himself Arnauld!!!
Saved 3 bytes thanks to dingledooper!!!
f=lambda l:l>[]!=1/len(l)>=l.pop()and-~f(l) Assumes the input is sorted from highest to lowest.