Before revision:  We also show that Lasso based, cross-fit, debiased machine learning estimators are asymptotically efficient under these conditions.
After revision:  We also give automatic debiased machine learners that are 1/\sqrt{n asymptotically efficient under these conditions.