Compare sizes by 'Note that' proof
π
e
e^q
π^n
π
e
e^q
π^n
Compare π and p/q
p
q
Clear
Submit
Proof result
Compare e and p/q
p
q
Clear
Submit
Proof result
Compare e^(p/q) and u/v
p
q
u
v
Clear
Submit
Proof result
Compare π^n and p/q
n
p
q
Clear
Submit
Proof result