You are probably correct. The point is being able to prove that it will always hit 2^n

mathFan