Rigidity and nonexistence of CMC spacelike hypersurfaces via an Okumura type inequality in a class of Lorentzian Einstein manifolds | Synapse