Hi,
Yo asumi que el la iba a conectar a los +5 voltios poerque el uso 5 voltios y no el pin pues el pin output max son 40ma Segundo tambien tome en consideracion lo de la corriente del LED. Normalmente se debe considerar la vida del LED por lo tanto por eso escoji 25ma. Si lees lo que el descubrio encontro en el link incluido la resistencia era de 330 ohmios y comento porque la diferencia de acuerdo a sus calculos. Para mi el voltaje no es importa por que el voltaje de operacion es de 5 voltios. Por lo tanto si el LED cuando esta conduciendo el voltaje de perdida sera como tu dices de 1.7 voltios por lo tanto quedan 3.5 voltios suficiente para que LED prenda. Yo siempre he calculado la resistencia del los LED en base a la corriente. Si estoy de acuerdo que no use la description correcta para definir la corriente y pido disculpas y te doy las gracias por la correccion. Errores de oficio.