1 Introduction

In our class we have n=11 students. Therefore, if we call \(y\) the number of students age 22 or above, we know that \(y\ \in \{0,1,\ldots,n\}\). With the additional independent and identically distributed (iid) assumpution, we have that \[ y|\theta \sim Binomial(n,\theta), \] where \(\theta=Pr(age \geq 22)\) is our parameter of interest. The likelihood is \[ L(\theta;\mbox{data}) \propto \theta^y(1-\theta)^{n-y}, \qquad\qquad \theta \in (0,1). \]

2 Maximum likelihood estimation

As you probably learned this in your introduction to statistics class, the MLE of \(\theta\) is \[ {\widehat \theta}_{mle}=\frac{y}{n}. \]

The approximate 95% confidence interval for \(\theta\) is given by \[ {\widehat \theta}_{mle} \pm 1.96 \sqrt{\frac{{\widehat \theta}_{mle}(1-{\widehat \theta}_{mle})}{n}}. \] As you can see in the figure below, the confidence intervals can collapse into a point or even generate negative probabilities, which are aspects of the normal approximation.

n = 11
y = 0:n
theta.mle = y/n
se    = sqrt(theta.mle*(1-theta.mle)/n)
L.mle = theta.mle - 1.96*se
U.mle = theta.mle + 1.96*se

plot(y,L.mle,ylim=c(-0.1,1.1),pch=16,ylab="95% approximate confidence interval")
points(y,U.mle,pch=16)
abline(h=0,lty=3)
abline(h=1,lty=3)
for (i in 2:n)
  segments(y[i],L.mle[i],y[i],U.mle[i])

3 Bayesian inference

3.1 Prior elicitation

Suppose we want to use the information that about 60% of undergrads are between 19 and 24 years old, and decide to find a beta prior for \(\theta\) such that \[ \mbox{Mode}(\theta) = 0.10 \ \ \ \mbox{and} \ \ \ Pr(\theta>0.1) = 0.75, \] approximately. A possible beta prior is a \(Beta(1.12,2.12)\), which satisfies approximately the above prior information.

alpha =1.12
beta = 2.12
theta = seq(0,1,length=1000)
plot(theta,dbeta(theta,alpha,beta),type="l",ylab="Density",xlab=expression(theta))
title("Prior distribution")

3.2 Posterior inference

The Bayesian approach combines the prior \(\theta \sim Beta(\alpha,\beta)\) with the Binomial likelihood, which is proportional to \(\theta^y(1-\theta)^{n-y}\). The posterior is, therefore, \(Beta(\alpha_1,\beta_1)\), where \[\begin{eqnarray*} \alpha_1 &=& \alpha + y\\ \beta_1 &=& \beta + n - y. \end{eqnarray*}\] The posterior mode equals \[ \mbox{Mode}(\theta|\mbox{data}) = \frac{y+\alpha-1}{n+\alpha+\beta-2} \]

alpha1 = alpha+y
beta1 = beta+n-y
theta.bayes = (y+alpha-1)/(n+alpha+beta-2)
L.bayes     = qbeta(0.025,alpha1,beta1)
U.bayes     = qbeta(0.975,alpha1,beta1)


plot(theta,dbeta(theta,alpha,beta),type="l",ylab="Density",
     xlab=expression(theta),ylim=c(0,10),lwd=2)
for (i in 1:12)
  lines(theta,dbeta(theta,alpha+y[i],beta+n-y[i]),col=2)
legend("topright",legend=c("Prior","Posteriors"),col=1:2,bty="n",lty=1,lwd=2)

plot(y,L.bayes,ylim=c(-0.1,1.2),pch=16,ylab="95% credibility interval")
points(y,U.bayes,pch=16)
abline(h=0,lty=3)
abline(h=1,lty=3)
for (i in 1:(n+1))
  segments(y[i],L.bayes[i],y[i],U.bayes[i])
abline(h=qbeta(0.025,alpha,beta),col=2)
abline(h=qbeta(0.975,alpha,beta),col=2)
legend("topleft",legend=c("Prior","Posterior"),col=2:1,bty="n",lty=1,lwd=2)

4 Comparison

plot(y,L.bayes,ylim=c(-0.1,1.2),pch=16,ylab="95% intervals")
points(y,U.bayes,pch=16)
abline(h=0,lty=3)
abline(h=1,lty=3)
for (i in 1:(n+1))
  segments(y[i],L.bayes[i],y[i],U.bayes[i])
points(y+0.1,L.mle,pch=16,col=2)
points(y+0.1,U.mle,pch=16,col=2)
for (i in 2:n)
  segments(y[i]+0.1,L.mle[i],y[i]+0.1,U.mle[i],col=2)
legend("topleft",legend=c("95% confidence interval","95% creditibility interval"),col=1:2,bty="n",lty=1,lwd=2)

LS0tCnRpdGxlOiAiR2VudGxlIGludHJvZHVjdGlvbiB0byBCYXllc2lhbiBpbmZlcmVuY2UiCnN1YnRpdGxlOiAiVGhlIEJldGEtQmlub21pYWwgbW9kZWwiCmF1dGhvcjogIkhlZGliZXJ0IEZyZWl0YXMgTG9wZXMiCmRhdGU6ICJgciBTeXMuRGF0ZSgpYCIKb3V0cHV0OgogIGh0bWxfZG9jdW1lbnQ6CiAgICB0aGVtZTogZmxhdGx5CiAgICBoaWdobGlnaHQ6IHRhbmdvCiAgICB0b2M6IHRydWUKICAgIHRvY19kZXB0aDogMwogICAgdG9jX2NvbGxhcHNlZDogdHJ1ZQogICAgY29kZV9kb3dubG9hZDogdHJ1ZQogICAgbnVtYmVyX3NlY3Rpb25zOiB0cnVlCi0tLQoKIyBJbnRyb2R1Y3Rpb24KCkluIG91ciBjbGFzcyB3ZSBoYXZlIG49MTEgc3R1ZGVudHMuICBUaGVyZWZvcmUsIGlmIHdlIGNhbGwgJHkkIHRoZSBudW1iZXIgb2Ygc3R1ZGVudHMgCmFnZSAyMiBvciBhYm92ZSwgd2Uga25vdyB0aGF0ICR5XCBcaW4gXHswLDEsXGxkb3RzLG5cfSQuIFdpdGggdGhlIGFkZGl0aW9uYWwgaW5kZXBlbmRlbnQgYW5kIGlkZW50aWNhbGx5IGRpc3RyaWJ1dGVkIChpaWQpIGFzc3VtcHV0aW9uLCB3ZSBoYXZlIHRoYXQgJCQKeXxcdGhldGEgXHNpbSBCaW5vbWlhbChuLFx0aGV0YSksCiQkCndoZXJlICRcdGhldGE9UHIoYWdlIFxnZXEgMjIpJCBpcyBvdXIgcGFyYW1ldGVyIG9mIGludGVyZXN0LiAgVGhlIGxpa2VsaWhvb2QgaXMgCiQkCkwoXHRoZXRhO1xtYm94e2RhdGF9KSBccHJvcHRvIFx0aGV0YV55KDEtXHRoZXRhKV57bi15fSwgXHFxdWFkXHFxdWFkIFx0aGV0YSBcaW4gKDAsMSkuCiQkCgojIE1heGltdW0gbGlrZWxpaG9vZCBlc3RpbWF0aW9uCgpBcyB5b3UgcHJvYmFibHkgbGVhcm5lZCB0aGlzIGluIHlvdXIgaW50cm9kdWN0aW9uIHRvIHN0YXRpc3RpY3MgY2xhc3MsIHRoZSBNTEUgb2YgJFx0aGV0YSQgaXMKJCQKe1x3aWRlaGF0IFx0aGV0YX1fe21sZX09XGZyYWN7eX17bn0uCiQkCgpUaGUgYXBwcm94aW1hdGUgOTVcJSBjb25maWRlbmNlIGludGVydmFsIGZvciAkXHRoZXRhJCBpcyBnaXZlbiBieQokJAp7XHdpZGVoYXQgXHRoZXRhfV97bWxlfSBccG0gMS45NiBcc3FydHtcZnJhY3t7XHdpZGVoYXQgXHRoZXRhfV97bWxlfSgxLXtcd2lkZWhhdCBcdGhldGF9X3ttbGV9KX17bn19LgokJApBcyB5b3UgY2FuIHNlZSBpbiB0aGUgZmlndXJlIGJlbG93LCB0aGUgY29uZmlkZW5jZSBpbnRlcnZhbHMgY2FuIGNvbGxhcHNlIGludG8gYSBwb2ludCBvciBldmVuIGdlbmVyYXRlIG5lZ2F0aXZlIHByb2JhYmlsaXRpZXMsIHdoaWNoIGFyZSBhc3BlY3RzIG9mIHRoZSBub3JtYWwgYXBwcm94aW1hdGlvbi4gCgpgYGB7ciBmaWcuYWxpZ249J2NlbnRlcicsIGZpZy53aWR0aD05LCBmaWcuaGVpZ2h0PTZ9Cm4gPSAxMQp5ID0gMDpuCnRoZXRhLm1sZSA9IHkvbgpzZSAgICA9IHNxcnQodGhldGEubWxlKigxLXRoZXRhLm1sZSkvbikKTC5tbGUgPSB0aGV0YS5tbGUgLSAxLjk2KnNlClUubWxlID0gdGhldGEubWxlICsgMS45NipzZQoKcGxvdCh5LEwubWxlLHlsaW09YygtMC4xLDEuMSkscGNoPTE2LHlsYWI9Ijk1JSBhcHByb3hpbWF0ZSBjb25maWRlbmNlIGludGVydmFsIikKcG9pbnRzKHksVS5tbGUscGNoPTE2KQphYmxpbmUoaD0wLGx0eT0zKQphYmxpbmUoaD0xLGx0eT0zKQpmb3IgKGkgaW4gMjpuKQogIHNlZ21lbnRzKHlbaV0sTC5tbGVbaV0seVtpXSxVLm1sZVtpXSkKYGBgCgojIEJheWVzaWFuIGluZmVyZW5jZQoKIyMgUHJpb3IgZWxpY2l0YXRpb24KU3VwcG9zZSB3ZSB3YW50IHRvIHVzZSB0aGUgaW5mb3JtYXRpb24gdGhhdCBhYm91dCA2MCUgb2YgdW5kZXJncmFkcyBhcmUgYmV0d2VlbiAKMTkgYW5kIDI0IHllYXJzIG9sZCwgYW5kIGRlY2lkZSB0byBmaW5kIGEgYmV0YSBwcmlvciBmb3IgJFx0aGV0YSQgc3VjaCB0aGF0CiQkClxtYm94e01vZGV9KFx0aGV0YSkgICA9IDAuMTAgXCBcIFwgXG1ib3h7YW5kfSBcIFwgXCAgUHIoXHRoZXRhPjAuMSkgPSAwLjc1LAokJAphcHByb3hpbWF0ZWx5LiAgQSBwb3NzaWJsZSBiZXRhIHByaW9yIGlzIGEgJEJldGEoMS4xMiwyLjEyKSQsIHdoaWNoIHNhdGlzZmllcyBhcHByb3hpbWF0ZWx5IHRoZSBhYm92ZSBwcmlvciBpbmZvcm1hdGlvbi4KCmBgYHtyIGZpZy5hbGlnbj0nY2VudGVyJywgZmlnLndpZHRoPTksIGZpZy5oZWlnaHQ9Nn0KYWxwaGEgPTEuMTIKYmV0YSA9IDIuMTIKdGhldGEgPSBzZXEoMCwxLGxlbmd0aD0xMDAwKQpwbG90KHRoZXRhLGRiZXRhKHRoZXRhLGFscGhhLGJldGEpLHR5cGU9ImwiLHlsYWI9IkRlbnNpdHkiLHhsYWI9ZXhwcmVzc2lvbih0aGV0YSkpCnRpdGxlKCJQcmlvciBkaXN0cmlidXRpb24iKQpgYGAKCgojIyBQb3N0ZXJpb3IgaW5mZXJlbmNlCgpUaGUgQmF5ZXNpYW4gYXBwcm9hY2ggY29tYmluZXMgdGhlIHByaW9yICRcdGhldGEgXHNpbSBCZXRhKFxhbHBoYSxcYmV0YSkkIHdpdGggdGhlIEJpbm9taWFsIGxpa2VsaWhvb2QsIHdoaWNoIGlzIHByb3BvcnRpb25hbCB0byAkXHRoZXRhXnkoMS1cdGhldGEpXntuLXl9JC4gVGhlIHBvc3RlcmlvciBpcywgdGhlcmVmb3JlLCAkQmV0YShcYWxwaGFfMSxcYmV0YV8xKSQsIHdoZXJlClxiZWdpbntlcW5hcnJheSp9ClxhbHBoYV8xICY9JiAgXGFscGhhICsgeVxcClxiZXRhXzEgJj0mIFxiZXRhICsgbiAtIHkuClxlbmR7ZXFuYXJyYXkqfQpUaGUgcG9zdGVyaW9yIG1vZGUgZXF1YWxzIAokJApcbWJveHtNb2RlfShcdGhldGF8XG1ib3h7ZGF0YX0pID0gXGZyYWN7eStcYWxwaGEtMX17bitcYWxwaGErXGJldGEtMn0KJCQKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcud2lkdGg9OSwgZmlnLmhlaWdodD02fQphbHBoYTEgPSBhbHBoYSt5CmJldGExID0gYmV0YStuLXkKdGhldGEuYmF5ZXMgPSAoeSthbHBoYS0xKS8obithbHBoYStiZXRhLTIpCkwuYmF5ZXMgICAgID0gcWJldGEoMC4wMjUsYWxwaGExLGJldGExKQpVLmJheWVzICAgICA9IHFiZXRhKDAuOTc1LGFscGhhMSxiZXRhMSkKCgpwbG90KHRoZXRhLGRiZXRhKHRoZXRhLGFscGhhLGJldGEpLHR5cGU9ImwiLHlsYWI9IkRlbnNpdHkiLAogICAgIHhsYWI9ZXhwcmVzc2lvbih0aGV0YSkseWxpbT1jKDAsMTApLGx3ZD0yKQpmb3IgKGkgaW4gMToxMikKICBsaW5lcyh0aGV0YSxkYmV0YSh0aGV0YSxhbHBoYSt5W2ldLGJldGErbi15W2ldKSxjb2w9MikKbGVnZW5kKCJ0b3ByaWdodCIsbGVnZW5kPWMoIlByaW9yIiwiUG9zdGVyaW9ycyIpLGNvbD0xOjIsYnR5PSJuIixsdHk9MSxsd2Q9MikKCnBsb3QoeSxMLmJheWVzLHlsaW09YygtMC4xLDEuMikscGNoPTE2LHlsYWI9Ijk1JSBjcmVkaWJpbGl0eSBpbnRlcnZhbCIpCnBvaW50cyh5LFUuYmF5ZXMscGNoPTE2KQphYmxpbmUoaD0wLGx0eT0zKQphYmxpbmUoaD0xLGx0eT0zKQpmb3IgKGkgaW4gMToobisxKSkKICBzZWdtZW50cyh5W2ldLEwuYmF5ZXNbaV0seVtpXSxVLmJheWVzW2ldKQphYmxpbmUoaD1xYmV0YSgwLjAyNSxhbHBoYSxiZXRhKSxjb2w9MikKYWJsaW5lKGg9cWJldGEoMC45NzUsYWxwaGEsYmV0YSksY29sPTIpCmxlZ2VuZCgidG9wbGVmdCIsbGVnZW5kPWMoIlByaW9yIiwiUG9zdGVyaW9yIiksY29sPTI6MSxidHk9Im4iLGx0eT0xLGx3ZD0yKQpgYGAKCiMgQ29tcGFyaXNvbgoKYGBge3IgZmlnLmFsaWduPSdjZW50ZXInLCBmaWcud2lkdGg9OSwgZmlnLmhlaWdodD02fQpwbG90KHksTC5iYXllcyx5bGltPWMoLTAuMSwxLjIpLHBjaD0xNix5bGFiPSI5NSUgaW50ZXJ2YWxzIikKcG9pbnRzKHksVS5iYXllcyxwY2g9MTYpCmFibGluZShoPTAsbHR5PTMpCmFibGluZShoPTEsbHR5PTMpCmZvciAoaSBpbiAxOihuKzEpKQogIHNlZ21lbnRzKHlbaV0sTC5iYXllc1tpXSx5W2ldLFUuYmF5ZXNbaV0pCnBvaW50cyh5KzAuMSxMLm1sZSxwY2g9MTYsY29sPTIpCnBvaW50cyh5KzAuMSxVLm1sZSxwY2g9MTYsY29sPTIpCmZvciAoaSBpbiAyOm4pCiAgc2VnbWVudHMoeVtpXSswLjEsTC5tbGVbaV0seVtpXSswLjEsVS5tbGVbaV0sY29sPTIpCmxlZ2VuZCgidG9wbGVmdCIsbGVnZW5kPWMoIjk1JSBjb25maWRlbmNlIGludGVydmFsIiwiOTUlIGNyZWRpdGliaWxpdHkgaW50ZXJ2YWwiKSxjb2w9MToyLGJ0eT0ibiIsbHR5PTEsbHdkPTIpCmBgYAoK