mean-field limit, quantization, many-body theory, nonlinear Schr  dinger equation