Proper-parent certificate inequality (13): $32N\sum D^\circ+32N(n-|S|)K+32kK\sum_u(|R_u|+|T_u|)\ge nNK$ (Erdős 624)

Initializing...

Proper-parent certificate inequality (13): $32N\sum D^\circ+32N(n-|S|)K+32kK\sum_u(|R_u|+|T_u|)\ge nNK$ (Erdős 624) · Prove2Me