Infinite descending chains