e^productlog(ln(2))