text: Using the convexity of the log function appearing in the exact perturbation analysis result, together with Jensen's inequality, gives an inequality in the linear level; combined with the analogous result for the B ensemble one gets the following version of the  Gibbs-Bogoliubov inequality:
  Note that the inequality agrees with the negative sign of the coefficient of the (positive) variance term in the second order result.