(5) The definition of a sequence (xn) converging to a real number L is the following: "For every positive real number €, there exists a natural number k such that for

every natural number n: if n ≥k, then |- L| < €.” (a) Express the statement above in quotes as a formula in predicate logic, where the domain for € is the collection of positive real numbers, and the domain for k and n is the collection of natural numbers. (b) Negate your formula and express your answer WITHOUT ANY NEGATION SYMBOLS (hint: if a and b are real numbers and a b; think about it!). (c) Translate your formula from (b) into English (but you don't have to translate the inequalities into words).