Rigorous lower bound on the compressibility of a classical system