The prescaler has already been factored in when calculating the PR2 value.

The (PR2+1)*4 formula holds true in all cases for the maximum dutycycle.