A Josephus-problémára jó ez a függvény?

Nemrég hallottam erről a problémáról, és nagyon megtetszett.

[link]

Amiket találtam ezzel kapcsolatban, ott mindenhol a rekurzív megoldást írják, illetve hogy milyen érdekessége van a bináris átírásnak (amit nem értek teljesen, de majd lesz még időm foglalkozni vele).

Kicsit utánagondoltam a dolgoknak, és ezt a függvényt találtam; ha 1...n-ig megy a számozás, akkor n ember esetén a győztes sorszáma:

2*(n-2^[log(2)(n)])+1, ahol a kitevőben lévő log(2)(n)-nek az alsó egészrészét vesszük. Pár számra megnéztem, és jó eredményt adott vissza.

Ezt eddig nem láttam sehol, de naiv gondolat lenne -ha egyáltalán jó-, hogy én fedeztem fel elsőként.

Minden választ előre köszönök!