An Inequality for Functions on the Hamming Cube. (29th March 2017)