Inequality machine proof commonly used in probability and statistical machine learning