How many entries of a typical orthogonal matrix can be approximated by independent normals? | Synapse