The sharp zero-constant conjecture for the non-local interaction-energy bound
Sharp zero-constant conjecture. Proposition should remain true with C=0C=0C=0; that is,