Sharp bounds for the variance of linear statistics on random permutations. Issue 4 (20th July 2020)