# How to equate logical statements

1. Apr 9, 2014

### Zrpeip

1. The problem statement, all variables and given/known data

We have three statements that describe convergence, but using different variables.
We are asked to show that all statements are equivalent.

2. Relevant equations

Show that

i. $\forall$ε > 0 ∃N $\forall$n ≥ N : |a$_{n}$-a|< ε
ii. $\forall$δ > 0 ∃M $\forall$n ≥ M : |a$_{n}$-a|≤ δ
iii. $\forall$λ > 0 ∃K $\forall$n ≥ K : |a$_{n}$-a|≤ 42λ$^{2}$

are equivalent statements.

3. The attempt at a solution

I know that I have to somehow reformulate epsilon to include/represent delta and lambda, but don't really have an idea how to proceed.
It is also confusing to me that 42λ$^{2}$ and δ could be equal to the difference of the sequence and limit, whereas ε is only larger than.
For i to be equivalent to ii and iii, we would need to exclude this case, or include it for epsilon in i, right? (assuming the sequence and limit are 'the same' in each)

I'm not interested in getting the answer, but rather an approach as this course will likely be proof-heavy and I really want to get a handle on the techniques.
I just don't know what I'm 'allowed' to do (for example, I can't simply say N = M = K, or can I? And then, does that really show anything?)

2. Apr 9, 2014

### vela

Staff Emeritus
One approach would be to show that (i) implies (ii), (ii) implies (iii), and (iii) implies (i). To show (i) implies (ii). You assume (i) is true and use it to prove (ii) is true.

Writing proofs for "obvious" things can be tricky because it's hard to figure out exactly what you need to show. You need to be pedantic and point out every little step.