From the course notes tail var is defined as \(\mathbb{E}[max(Var - X,0)]\) From the calculations they seem to use \(\mathbb{E}[max(-Var - X,0)]\) Which is the correct form