Olson's Theorem 3.1: quantitative arrangement bound $|\Sigma(a_1,\dots,a_t)| > 4+\frac18[(s-2)(s+3)-(s-t)(s-t+5)]-\frac{s^2}{72}$

Initializing...

Olson's Theorem 3.1: quantitative arrangement bound $|\Sigma(a_1,\dots,a_t)| > 4+\frac18[(s-2)(s+3)-(s-t)(s-t+5)]-\frac{s^2}{72}$ · Prove2Me