On the loop expansion of the effective action

Based on the DeWitt formula the loop expansion of the effective action is easily established. Extending to the system with finite density we develop the in-medium DeWitt formula, which is the starting point for setting up loop expansion of the in-medium effective action.