Asymptotic Optimality of the Product Limit Estimator