solve ((x + 1/2) / e)^(x + 1/2) * sqrt(2 * pi) = (x / e)^x * sqrt(2 * pi * x)