The AC is necessary[1] because at each of the infinitely many steps, you have to choose which of possibly several candidates to use. [1] As mrmyers points out,

The AC is necessary[1] because at each of the infinitely many steps, you have to choose which of possibly several candidates to use. [1] As mrmyers points out, you actually only need a weaker version of AC, called Countable Choice.