Information Theoretic Inequality Prover (ITIP)    Raymond W. Yeung^1 and Ying-On Yan^2