Tom K. answered 06/28/20
Knowledgeable and Friendly Math and Statistics Tutor
Remember that the standard error is the standard deviation / sqrt(n).
In Excel, then, we can solve this using
=NORM.INV(9%,12.5,2.4/SQRT(3))
You get 10.6421953289159, which rounds to 10.6