SIMBAD references

We develop a Python tool to estimate the tail distribution of the number of dark matter halos beyond a mass threshold and in a given volume in a light-cone. The code is based on the extended Press-Schechter model and is computationally efficient, typically taking a few seconds on a personal laptop for a given set of cosmological parameters. The high efficiency of the code allows a quick estimation of the tension between cosmological models and the red candidate massive galaxies released by the James Webb Space Telescope, as well as scanning the theory space with the Markov Chain Monte Carlo method. As an example application, we use the tool to study the cosmological implication of the candidate galaxies presented in Labbé et al. The standard Λ cold dark matter (ΛCDM) model is well consistent with the data if the star formation efficiency can reach ∼0.3 at high redshift. For a low star formation efficiency ϵ ∼ 0.1, the ΛCDM model is disfavored at ∼2σ-3σ confidence level.