The Dao of Bayes comments on A Little Puzzle about Termination

[The Dao of Bayes]

Alternate solution: Tvir vg gur tbny bs “znxr 32 cncrepyvcf, jvgu gur uvturfg ninvynoyr pbasvqrapr, hfvat bayl K erfbheprf”

I also like itaibn0′s solution