Let X1,…,Xn be i.i.d. random variables from a N(θ,1) distribution, θ∈R, and consider a Bayesian model θ∼N(0,v2) for the unknown parameter, where v>0 is a fixed constant.
(a) Derive the posterior distribution Π(⋅∣X1,…,Xn) of θ∣X1,…,Xn.
(b) Construct a credible set Cn⊂R such that
(i) Π(Cn∣X1,…,Xn)=0.95 for every n∈N, and
(ii) for any θ0∈R,
Pθ0N(θ0∈Cn)→0.95 as n→∞,
where PθN denotes the distribution of the infinite sequence X1,X2,… when drawn independently from a fixed N(θ,1) distribution.
[You may use the central limit theorem.]