IR divergence, Nelson model, functional integral, Gibbs measure