MathDB
Math Prize 2010 Problem 17

Source:

November 14, 2010
functionlogarithms

Problem Statement

For every x1ex \ge -\frac{1}{e}\,, there is a unique number W(x)1W(x) \ge -1 such that W(x)eW(x)=x. W(x) e^{W(x)} = x. The function WW is called Lambert's WW function. Let yy be the unique positive number such that ylog2y=35. \frac{y}{\log_{2} y} = - \frac{3}{5} \, . The value of yy is of the form eW(zln2)e^{-W(z \ln 2)} for some rational number zz. What is the value of zz?