An Inequality Useful for Proofs of Strong Converse Theorems in Network Information Theory | IEEE Conference Publication | IEEE Xplore