Can You Solve this Exponential Equation From HARVARD?

Some people call it the hardest exponential equation: x^x = 25. First we find where x has to be (between 2 and 3, and there is only one answer), then the natural log brings the power down, and one function, W, does the rest. Every step written out, nothing skipped, and the answer checked at the end. CHAPTERS 0:00 The question 0:18 Is x five? 0:44 Between 2 and 3 1:23 The natural log 2:09 The W function 2:35 Building the shape 3:41 The answer 4:27 Back to the question