P
Initializing...
Subadditivity of the translation gain $\Delta_S(x)=|(x+S)\setminus S|$ · Prove2Me