quantum field theory - Proof that the effective/proper action is the generating functional of one-particle-irreducible (1PI) correlation functions

In all text book and lecture notes that I have found, they write down the general statement

$$\begin{equation} \frac{\delta^n\Gamma[\phi_{\rm cl}]}{\delta\phi_{\rm cl}(x_1)\ldots\delta\phi_{\rm cl}(x_n)}~=~-i\langle \phi(x_1)\ldots\phi(x_n)\rangle_{\rm 1PI} \end{equation}$$ and they show that it is true for a couple of orders.

I heard that Coleman had a simple self contained proof for this statement (not in a recursive way), but I cannot find it. It might have been along the line of comparing to the $\hbar$ expansion but I'm not sure.

Do you know this proof? Is there a good reference for it?

Comment: Weinberg does have a full proof but it is hard and not intuitive.