Left: The J luminosity function of the LMC AGB stars populating the J region of the (J − K, J) plane, obtained by means of population synthesis, is shown in black, and compared with the JLF by Magnus et al. (2024) (red line). Right: The distribution of the masses of the stars in the J region of the (J − K, J) plane, which correspond to the JLF shown in the left panel. The masses of M <  1.5 M_⊙ stars refer to the values at the start of the core helium-burning phase.