Upper bound on the second Laplacian eigenvalue on real projective space | Synapse