The grandparent comment is not claiming that $2k is under $800, but instead that Intel would be able to charge a higher price for the i9 if the TR was not on the market.

You should compare the top i9 with threadripper 1950X, which is more expensive, but still less expensive than an i9.