Talk:Binomial sum variance inequality