The supporting-functional inequality for the binary symmetric key-interaction conjecture
Supporting-functional inequality.