שינויים
/* פתרון */
נגדיר איש '''מקסימלי''' בתור איש שאין אחריו מישהו גבוה ממנו. אם קיימים אינסוף מקסימליים בתור, אזי אם נזרוק את כל האנשים שאינם מקסימליים נשאר עם תור אינסוף לא עולה של אנשים.
אם לעומת זאת, קיים מספר סופי של מקסימליים, נזרוק אותם את כל האנשים החוצהמהראשון בתור ועד לאחרון המקסימליים. נשארנו עם אינסוף אנשים לא מקסימליים, כלומר שלכל אחד מהם יש מישהו הגבוה ממנו. נתחיל בראשון בתור, לעבור לגבוה ממנו ונזרוק את כל מי שבין לבין. נמשיך לגבוה ממנו ונזרוק את מי שבין לבין, ורק ניצור תור אינסופי שאינו יורד.
משתמש אלמוני
