And to expand Alec_t's warning, "worst case" is assuming the battery is at its highest voltage while under charge (e.g. 15V), and Vf is at the lower end of its quoted range.You should design for the worst case extremes of LED Vf and supply voltage.
Also, if I was working with a 20mA LED, I might shoot for 15mA. It'll still be plenty bright and will last longer than if you run it near the maximum. It'll also add a bit to the battery time.