Sqrt[ProductLog[x]] *(3 + ProductLog[x]) near infinity