Description: This lemma proves that for n sufficiently large, q_n( t ) < ε, for all t in T \ U : see Lemma 1 BrosowskiDeutsh p. 91 (at the top of page 91). Q is used to represent q_n in the paper, N to represent n in the paper, K to represent k, D to represent δ, P to represent p, and E to represent ε. (Contributed by Glauco Siliprandi, 20-Apr-2017)
Ref | Expression | ||
---|---|---|---|
Hypotheses | stoweidlem25.1 | |
|
stoweidlem25.2 | |
||
stoweidlem25.3 | |
||
stoweidlem25.4 | |
||
stoweidlem25.6 | |
||
stoweidlem25.7 | |
||
stoweidlem25.8 | |
||
stoweidlem25.9 | |
||
stoweidlem25.11 | |
||
Assertion | stoweidlem25 | |