On estimation of finite population variance