Description: Show that A is less than B by showing that there is no positive bound on the difference. A variant on xralrple . (Contributed by Glauco Siliprandi, 21-Nov-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | xralrple2.x | |
|
xralrple2.a | |
||
xralrple2.b | |
||
Assertion | xralrple2 | |