Problem 1. Consider the following statement: For every integer n such that 2 ≤ n

Problem 1. Consider the following statement:

For every integer
n
such that 2 ≤
n
5, 2
ⁿ

≥ 2n.

1(a) Define the predicate
P(x) represented in the statement and state the domain of the predicate.

1(b) Use the predicate above and quantification to rewrite the statement.

1(c) Prove that the statement is true.