Description: Two functions that are eventually equal to one another have the same superior limit. (Contributed by Glauco Siliprandi, 23-Oct-2021)
Ref | Expression | ||
---|---|---|---|
Hypotheses | limsupequzmpt2.j | |
|
limsupequzmpt2.o | |
||
limsupequzmpt2.p | |
||
limsupequzmpt2.a | |
||
limsupequzmpt2.b | |
||
limsupequzmpt2.k | |
||
limsupequzmpt2.e | |
||
limsupequzmpt2.c | |
||
Assertion | limsupequzmpt2 | |