Ответ:

Полуинвариант. В задаче рассматривается повторяющийся процесс: подходящая величина изменяется в одном направлении и помогает доказать, что процесс со временем приходит к требуемому состоянию.