Added Mermin orginal inequality for n = 3 and 4.