The upper bound of event horizon formation time in generalized Oppenheimer–Snyder collapse | Synapse