How do you calculate %xHKO?

Oh yes, it's also apparently the probability to hit exactly the hp required (not including anything above it).

Then the probability on first hit (L = 1000, H = 2000, x = 2000, n = 1) should be 1/1000, not 0.