Proportion estimation and inference