y=xlnx is a logarithm divided by a linear function. The numerator grows only slowly, so the denominator eventually overtakes it and the whole expression returns to 0. The maximum reached along the way captures something essential about the number e.
Domain and range
The domain is x>0. As x→0+ the numerator tends to −∞ and the denominator to 0+, so y→−∞; as x→∞ we get y→0+. The maximum value is e1, so the range is y≤e1.
Asymptotes and intercept
The y-axis is a vertical asymptote and the x-axis a horizontal one, though on the right the curve approaches it from above. Since lnx=0 at x=1, the x-intercept is (1,0); the function is negative on 0<x<1 and positive for x>1.
Monotonicity and extrema
The quotient rule gives the derivative.
y′=x21−lnx
The denominator is positive, so the sign comes from 1−lnx: positive for x<e and negative for x>e. The function therefore has a maximum, both local and global, at x=e, of value e1. The maximum point is (e,e1)≈(2.718,0.368).
Concavity and inflection
The second derivative is y′′=x32lnx−3. The denominator is positive, so the sign is that of 2lnx−3, which changes at x=e3/2≈4.482. That single inflection point, where the curve turns from concave down to concave up, has value 23e−3/2≈0.335.
Comparing eπ and πe
Because the maximum sits at x=e, a famous comparison follows. For x=e we have xlnx<e1, and taking x=π gives the following chain.
πlnπelnππe<e1<π<eπ
Numerically πe≈22.459 and eπ≈23.141. The same argument shows that ab>ba whenever e≤a<b.
Relation to nn
Since x1/x=e(lnx)/x, the maximum point of this function is also the maximum point of x1/x, which is e1/e≈1.445 at x=e.
n
nn
2
1.414
3
1.442
4
1.414
10
1.259
Among the integers the closest to e is 3, so the sequence nn peaks at n=3. As the graph settles toward 0, the sequence tends to 1.