Parto dal presupposto che n è il numero di partenza; allora, dopo il primo passaggio trovo 2n-1, dopo il secondo 2(2n-1)-1=4n-3, dopo il terzo 8n-7 e così via. Posso quindi dire che al k-ennesimo passaggio trovo 2^kn -2^k+1 cioè 2^k(n-1)+1.
Dalla relazione 2^2000(n-1)+1 = 2^2001+1 trovo che n=3