# Comparing two symbolic expressions

Does Mathematica provide any way to compare two symbolic expressions and find which is the greatest? For example, I want to find which is the greatest of (n - 1) + 2(n - 1) Log[2, n] or n(n - 1)/2, where n is a variable.

-
You mean Log2 (with a capital L), right? –  phantomas1234 Nov 24 '12 at 18:11

Returns that the statement is true for $$0 < n < \frac{-4}{\ln 2} \text{ProductLog}(\frac{-\ln 2}{4 \sqrt{2}})\lor 1 < n < \frac{-4}{\ln 2}\text{ProductLog}(\frac{-\ln 2}{4 \sqrt{2}})^*$$ Where $\text{ProductLog}$ is the solution to the Lambert W equation. As @Rojo notes in the comments, use N to find a numerical approximation.