In a complete orthonormal basis $|x\rangle$, we often use the completeness relation:
$$\sum_{n=0}^\infty | x \rangle \langle x | = \mathbb{I}$$
if the basis is continuous we use the natural extension
$$\int | x \rangle \langle x | dx = \mathbb{I}.$$
This makes sense only if the choice of basis is complete. What if it is overcomplete? As an example, consider the overcomplete basis of coherent states. How does one construct the identity from these? I have seen the normalization
$$\frac{1}{\pi}\int | \alpha \rangle \langle \alpha | d^2\alpha = \mathbb{I}$$
(the $d^2$ implies integration over the real and imaginary parts of $\alpha$ separately.)
How does one derive the $\frac{1}{\pi}$ factor?
I thought you could get it by computing $$Tr(\int | \alpha \rangle \langle \alpha | d^2\alpha) = \int Tr(| \alpha \rangle \langle \alpha |) d^2\alpha = \int \langle \alpha | \alpha \rangle d^2\alpha,$$
but this of course fails since it becomes infinite (I was hoping to get $\pi$).