Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 36 / 4 / b / Solution

Within the positive component, normal-normal conjugacy givesCompleting the square yieldsHere positive denotes membership in the variable-effect component, not the condition ${\theta }_i>0$; its normal prior permits effects of either sign.