Intereting Posts

Prove that if $R$ is an integral domain and has ACCP, then $R$ has ACCP
How do you split a long exact sequence into short exact sequences?
a general continued fraction satisfying $\frac{(i+\Theta\sqrt{z})^m}{(i-\Theta\sqrt{z})^m}=\frac{(ik+\sqrt{z})^{m+1}}{(ik-\sqrt{z})^{m+1}}$
Approximating Logs and Antilogs by hand
When functions commute under composition
Prove that $f'(a)=\lim_{n\to\infty}\frac{f(b_n)-f(a_n)}{b_n-a_n}$ under some conditions
Isotopy and homeomorphism
Why is $f(x) = x\phi(x)$ one-to-one?
Are integrable, essentially bounded functions in L^p?
I attempt integrate another factor 2 in the definition of even perfect numbers
A good Open Source book on Analytic Geometry?
General Cholesky-like decomposition
How to prove a number system is a fraction field of another?
Are Position and Velocity (or Velocity and Acceleration) Vectors Always Parallel?
What, Exactly, Is a Tensor?

I noticed that $\ln(x)-\ln(\ln(x))$ seems to by asymptotic with the Lambert W Function. Is this true?

- Show : $(-1)^{n}n^{-\tan\left(\tfrac{\pi}{4}+\tfrac{1}{n} \right)}=\tfrac{(-1)^{n}}{n}+\mathcal{O}\left(\tfrac{\ln(n)}{n^{2}} \right)$
- How to solve $n < 2^{n/8}$ for $n$?
- An issue with approximations of a recurrence sequence
- Why is this function a really good asymptotic for $\exp(x)\sqrt{x}$
- How do you prove that $n^n$ is $O(n!^2)$?
- For what values does this method converge on the Lambert W function?
- Number-theoretic asymptotic looks false but is true?
- Using Limits to Determine Big-O, Big-Omega, and Big-Theta
- How do I prove $\sum_{n \leq x} \frac{\mu (n)}{n} \log^2{\frac{x}{n}}=2\log{x}+O(1)$? Can I use Abel summation?
- Why is $\pi$ the Limit of the Absolute Value of the Prime $\zeta$ Function?

By definition:

$$x=W(x)e^{W(x)}$$

It thus follows that

$$e^{W(x)}=\frac x{W(x)}$$

$$W(x)=\ln\left(\frac x{W(x)}\right)$$

By applying the fixed point method, we find that for any initial condition greater than $e$ and $x>e$, we have

$$W(x)=\ln\left(\frac x{W(x)}\right)=\ln\left(\frac x{\ln\left(\frac x{W(x)}\right)}\right)=\dots=\ln\left(\frac x{\ln\left(\frac x{\ln\left(\frac x{\vdots}\right)}\right)}\right)$$

And by expanding with log rules with some obvious bounds on $W(x)$, we find that

$$W(x)\sim\ln(x)-\ln(\ln(x)-\ln(\ln(x)-\ln(\dots)))\sim\ln(x)-\ln(\ln(x))+o(1)$$

Here is a visualization of this with the dotted line being the Lambert W function:

- Prove by induction that for all $n \geq 3$: $n^{n+1} > (n+1)^n$
- Prove that a ring $R$ with no non-trivial right ideals and $aR=0$ has $|R|=p$ prime
- Solve the System of Equations in Real $x$,$y$ and $z$
- About a measurable function in $\mathbb{R}$
- Why did the ancients hate the Parallel Postulate?
- Permutations and Derangements
- Poincare-Bendixson Theorem
- Prove the limit exists
- Two ambient isotopic curve segments, one has the length and the other does not
- proof by induction: sum of binomial coefficients $\sum_{k=0}^n (^n_k) = 2^n$
- Counting non-isomorphic relations
- What's known about the number of primes in the range $(n..2n)$?
- How many classification of mathematical topics exists?
- How to disprove this fallacy that derivatives of $x^2$ and $x+x+x+\cdots\ (x\text{ times})$ are not same.
- Representing Elementary Functions in a CAS