Alice and Bob are playing a game with a pile of 21 stones. They take turns removing 1, 2, or 3 stones from the pile. The player who removes the last stone wins the game. If Alice goes first, how many stones should she remove in her first move to ensure she wins the game, assuming both players play optimally? Let's think step by step and output the final answer within \boxed{}.
user