The proof is provided in Appendix . The proof uses the techniques considered by [1]} and [2]}. Since the proof uses the result of posterior convergence rate, it remains to show that \(\epsilon _n=\sqrt{(p+s_0)\log p/n}\)  is the posterior convergence rate of the covariance matrix under the Frobenius norm. Under prior (7), this follows from Theorem REF .
