ThmDex – An index of mathematical definitions, results, and conjectures.

Result R2534 on D1747: Unsigned basic integral
Subresult of R2535: Chebyshov's inequality

Chebyshov's inequality with basic real exponentiation function

Subresults

▶	R1236: Markov's inequality