Loosened lower bound on `criterion`