video, get Recurrence equation, and then do aProof by induction
https://www.wikiwand.com/en/Josephus_problem