That 2020 example is not quite right.
If the interest paid is £200,000 there will be a tax credit of 20% on it. But that income has taken him /her into the 45% tax band.
So it's £200,000 @ 45% -20% or £50,000 in tax he/she needs to find from somewhere.