Com ajuda do ChatGPT, consegui a resposta da maior dúvida que estava martelando em minha cabeça, por isso estou compartilhando para quem teve alguma dúvida igualmente sobre a variável "fatorial"
A variável "fatorial" é inicializada com o valor 1 no início do programa e, em seguida, é atualizada a cada iteração do loop "for", multiplicando seu valor atual pelo valor de "n" (o contador do loop).
Assim, os valores armazenados em "fatorial" ao longo do programa serão os seguintes:
Após a primeira iteração do loop, "fatorial" terá o valor 1 x 1 = 1
Após a segunda iteração do loop, "fatorial" terá o valor 1 x 2 = 2
Após a terceira iteração do loop, "fatorial" terá o valor 2 x 3 = 6
Após a quarta iteração do loop, "fatorial" terá o valor 6 x 4 = 24
Após a quinta iteração do loop, "fatorial" terá o valor 24 x 5 = 120
Após a sexta iteração do loop, "fatorial" terá o valor 120 x 6 = 720
Após a sétima iteração do loop, "fatorial" terá o valor 720 x 7 = 5040
Após a oitava iteração do loop, "fatorial" terá o valor 5040 x 8 = 40320
Após a nona iteração do loop, "fatorial" terá o valor 40320 x 9 = 362880
Após a décima e última iteração do loop, "fatorial" terá o valor 362880 x 10 = 3628800.