Using the polar decomposition $M = OS$ where $O \in \operatorname{OSp}_n(\mathbb{R})$ and $S$ is a symmetric symplectic matrix with strictly positive eigenvalues, conclude that the determinant of the matrix $M \in \mathrm{Sp}_n(\mathbb{R})$ is equal to 1.