Definition:Lower Branch of Lambert W Function