We review an elementary derivation of the Borodin–Sinclair–Forrester–Nagao Pfaffian point process, which characterizes the law of real eigenvalues for the real Ginibre ensemble in the large matrix size limit, in terms of averages of products of characteristic polynomials. This derivation relies on a number of interesting structures associated with the real Ginibre ensemble such as the hidden symplectic symmetry of the statistics of real eigenvalues. It leads to a representation for the [Formula: see text]-point correlation function for any [Formula: see text] in terms of an integral over the symmetric space [Formula: see text] and this paper gives the proof of asymptotic exactness for this integral.