  We prove several inequalities using lowest-order effective field theory for
nucleons which give an upper bound on the pressure of asymmetric nuclear matter
and neutron matter. We prove two types of inequalities, one based on convexity
and another derived from shifting an auxiliary field.
