In answer to your first question ...
Given $X \sim Exponential(\lambda_1)$ with $E[X] =\lambda_1 $, and $Y \sim Exponential(\lambda_2)$ with $E[Y] =\lambda_2 $, where $X$ and $Y$ are independent. Let:
$$W_i =c (X_i-a) (Y_i-b) \quad \text{and} \quad Z_n = \sum_{i=1}^n W_i$$
Then, by the Lindeberg-Levy version of the Central Limit Theorem:
$$Z_n\overset{a} {\sim }N\big( n E[W], n Var(W)\big)$$
We immediately have: $$E[W] = c \left(\lambda _1-a\right) \left(\lambda _2-b\right)$$
Variance of $W$
The OP attempts to approximate the variance - this is not necessary and causes errors.
By independence, the joint pdf of $(X,Y)$ is $f(x,y)$:
Then, $Var[W]$ is:
where I am using the Var
function from the mathStatica package for Mathematica to do the nitty-gritties. All done.
Central Limit Theorem approximation
Here are $100000$ pseudo-random drawings of $Z$ generated in Mathematica, given $n = 200, \lambda_1= 3, \lambda_2 =2,a=2.2,b=4$ ...
zdata = Table[
xdata = RandomVariate[ExponentialDistribution[1/3], {200}];
ydata = RandomVariate[ExponentialDistribution[1/2], {200}];
Total @@ {(xdata - 2.2) (ydata - 4)}, {i, 1, 100000}];
The CLT Normal approximation $N\big(\mu, \sigma^2\big)$ has parameters $\mu = n E[W]$ and $\sigma = \sqrt{n Var(W)}$:
Here, the squiggly BLUE curve is the empirical pdf (from the Monte Carlo data), and the dashed red curve is the Central Limit Theorem Normal approximation. It works very nicely WHEN THE CORRECT variance derivation is used, even with a sample of size $n = 200$.
Central Limit Theorem fit using OP's approximated variance
By contrast, if we use the OP's approximation of Var(Z) to calculate $\sigma$, then the CLT 'fit' is not good at all:
Notes
- As disclosure, I should add that I am one of the authors of the software used above.
Best Answer
You've shown that $$ \sqrt{n}(\tilde{s}^2-\sigma^2)=\frac{1}{\sqrt{n}}\sum_{i=1}^n [u_i^2-\mathsf{E}u_1^2]+R_n, $$ where $\tilde{s}^2=\boldsymbol{u}^{\top}\boldsymbol{u}/n$ and $R_n$ is the remainder term. If $R_n=o_p(1)$, then the asymptotic distribution of $\sqrt{n}(\tilde{s}^2-\sigma^2)$, and, hence, of $\sqrt{n}(s^2-\sigma^2)$ is $\mathcal{N}(0,\operatorname{Var}(u_1^2))$, where $\operatorname{Var}(u_1^2)=\mathsf{E}u_1^4-\sigma^4$.