Given an $n \times n$ symmetric random matrix whose entries have distribution $N(0,1)$, how to calculate the probability of positive definiteness of this matrix?