El valor de i que aumenta en 1 lo hace antes de acabar cada alteración o que momento aumenta su valor? O lo hace después de evaluar la condición?

Mi lógica me dice que hace el incremento antes de pasar a la siguiente iteración ya que si lo hiciera después de evaluar la condición el valor que se mostraría por consola siempre seria el valor esperado mas uno.