Popoviciu's_inequality_on_variances loading ...