Prove that for all integers a, b, n, if n = a + b, then a ≤ n/2 or b ≤ n/2 using proof by contradiction.