El Valor en Riesgo condicional (CVaR) está dada como: $$CVaR_\alpha(X)=\frac{1}{\alpha}\int_{0}^{\alpha}VaR_\beta(X)d\beta=-E(X|X\leq-VaR_\alpha(X))=-\frac{1}{\alpha}\int_{-\infty}^{-VaR_\alpha(X)}x \cdot f(x)\,dx$$
No estoy seguro de si el último término es correcto con respecto a la multiplicación con $1/\alpha$?
El promedio es ya sólo hasta $VaR_\alpha$.