P
Initializing...
Sum estimate A: $\sum (p_i - m_i)^2 \ge c \sum p_i - \tfrac{c^2}{4} r - 2c \sum m_i$ · Prove2Me