The efficiency cost of averaging only half your data
To save computation, an analyst estimates a Normal mean by averaging only every other observation, using of the available data points:
The full-data competitor is the ordinary sample mean over all points.
What is the asymptotic relative efficiency of the half-sample estimator versus the full sample mean?