Using the Ornstein–Uhlenbeck process, I want to prove the half life formula for AR(1) is $$\text{HL}=-\log\left(\frac{2}{ \lambda}\right)$$
I have Ornstein–Uhlenbeck process defined as $$dx_t=\theta(\mu-x_t)dt+\sigma dW_t$$
and AR(1) as $$\Delta X_n=\mu+\lambda X_{n-1}+\sigma \varepsilon_n\quad,\quad n\geq 1$$
I am analyzing this derivation. I understand the steps. The calculated half life for the OU is $$T_{1/2}=\frac{\ln(2)}{\theta}$$
I have some difficulties in translating this into the corresponding AR(1) half life. My understanding is that if $dt=1$ then discretized OU model takes form of AR(1). Is this correct? Can anybody clarify the link between those two and the half life adjustment for AR(1)? Do we just replace the $\theta$ for $\lambda$ in the final formula? what would be the explanation? How about the minus sign?