Suppose we are making a​ 95% confidence interval for the population mean from a sample of size 15. What number of degrees of freedom should we​ use?.