We use induction on . The case is immediate.
Every student attended session , so each attendance total lies between and . The totals are distinct, hence they are exactly .
The student with total attended every session and was the only student present at session . Remove this student and session , and renumber sessions as .
The remaining sessions have exactly attendees. No remaining student attended the deleted session, so their totals are unchanged and still pairwise distinct.
By the induction hypothesis, each remaining student attended every session from their first attendance onward. The removed student attended every session, so the conclusion holds for all students.