Palline da ping pong

In Matelandia, come ben sapete, tantissimi oggetti iperuranici sono presenti in quantità infinita. Tra questi oggetti con disponibilità a piacere ci sono delle palline da ping pong con impresso un numero intero positivo, da #1 in su. (Nel caso vi chiedeste come mai c'è anche un cancelletto, è perché era il modo più semplice per distinguere il 6 dal 9. Il cancelletto si mette sempre prima del numero). Supponete ora di prendere un numero finito di palline, numerate come volete, e metterle in un contenitore parecchio ampio. A ogni mossa prendete a caso una pallina, guardate il numero che ha, la togliete e aggiungete un numero qualunque (finito) di palline, con l'unica regola che il numero presente su queste palline deve essere strettamente minore di quello della pallina tolta. Questo significa che se estraete una pallina #1 non potete aggiungerne nessuna, ma con una pallina #666 potete rimetterne un milione di #42, e magari un paio di #314 così per sport. Dimostrate che prima o poi svuoterete il contenitore.

   

   

Problema di Raymond Smullyan.