Sharp large deviation estimates for Gaussian extrema | Synapse