Before revision:  For both observational and randomized studies, we prove that our estimator achieves the optimal asymptotic variance , by establishing a semiparametric efficiency lower bound .
After revision:  For both randomized trials and observational studies, we prove that our estimator achieves the optimal asymptotic variance , by establishing a semiparametric efficiency lower bound .