Microcanonical solution of the mean-field φ4 model: Comparison with time averages at finite size