Infinite descending chain