Estimating a Bounded Normal Mean | Synapse