I want to calculate a standard error of a sample. I have a distribution of the IQ of the general population with a mean of 100 and a standard deviation of 19. Now I take a random sample of 30 students of Harvard and find that their mean IQ is 125.
I want to calculate the standard error of the mean. How can I do this? I cannot use $\sigma \over \sqrt{n}$ because I don't have the sd of my sample or?