Bayesian inference of galaxy formation from the K-band luminosity function of galaxies: tensions between theory and observation