proof by cases inequality