Complex sentence: This fact implies that the loop can execute at most 2 "n" times, since at each iteration it executes one of the two branches in the loop.
Split into simpler sentences: This fact implies that the loop can execute at most 2n times. For, in each iteration, it executes one of the two branches in the loop.