Description: Limit of a continuous function on an open subinterval. Upper bound version. (Contributed by Glauco Siliprandi, 11-Dec-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | fourierdlem33.1 | |
|
fourierdlem33.2 | |
||
fourierdlem33.3 | |
||
fourierdlem33.4 | |
||
fourierdlem33.5 | |
||
fourierdlem33.6 | |
||
fourierdlem33.7 | |
||
fourierdlem33.8 | |
||
fourierdlem33.ss | |
||
fourierdlem33.y | |
||
fourierdlem33.10 | |
||
Assertion | fourierdlem33 | |