It’s not a guess he doesn’t make $4M a year his contract just like every other coaches contract or sports contract in general has incentives in it to get him up to the higher figure.
Did you just skip the part where he has to meet a bunch of incentives to actually get to the $8M figure? He doesn’t make $4 M a year so stop using that figure to try and figure out his buyout.