Boas,
A resolução de saída do arduino é de 8 bits (2^8=256), a resolução de entrada é de 10 bits (2^10=1024). Se o potenciometro estiver no valor máximo, ou seja, nos 5V o valor que o arduino lê é 1023 (porque começa em zero) e como a resolução de saída é de menos 2 bits o valor máximo de saída tem que ser 255 (1023/4=255) que equivale também a 5V.
Agora eu entendi o motivo de usar o valor 4. Veja se eu estou correto. Como a saída tem o valor máximo 255. Eu uso o valor 4 para forçar que minha saída trabalhe dentro do valor limite recomendado, ou seja, pegando 1023/4 terei um inteiro de 255 valor como você mesmo disse é o máximo que essa saída poderá ter. Muito obrigado pela ajuda.