The risk quantification was first introduced by Markowiz from his famous Capital Asset Pricing Measure (CAPM) portfolio theory which essentially states,
![E[R_t] = R_f + \beta (E[R_m] - R_f)](https://s0.wp.com/latex.php?latex=E%5BR_t%5D+%3D+R_f+%2B+%5Cbeta+%28E%5BR_m%5D+-+R_f%29+&bg=ffffff&fg=000000&s=0&c=20201002)
Meaning that, expected return should be measured by the systematic risk priced by the market beta. Hence variance is captured by the second order moment,
![\sigma^2 = E[X^2] - E[X]^2](https://s0.wp.com/latex.php?latex=%5Csigma%5E2+%3D+E%5BX%5E2%5D+-+E%5BX%5D%5E2+&bg=ffffff&fg=000000&s=0&c=20201002)
But this doesn’t capture the correlation and as option derivatives grew by mid 70’s and 80’s, clearly needed a measure which captures effectively a single measure of risk across portfolio, risk measures and this is proposed by JP Morgan around c.1992.
Value-At-Risk parametric formula is given by,
![VaR_q(X) = -E[X] + \sigma Z_{X}[1-\alpha]](https://s0.wp.com/latex.php?latex=VaR_q%28X%29+%3D+-E%5BX%5D+%2B+%5Csigma+Z_%7BX%7D%5B1-%5Calpha%5D+&bg=ffffff&fg=000000&s=0&c=20201002)
![Right Quantile: q_{\alpha}^+[X] = inf \{ X \in R : P[x \leq X] > \alpha \}](https://s0.wp.com/latex.php?latex=Right+Quantile%3A++q_%7B%5Calpha%7D%5E%2B%5BX%5D+%3D+inf+%5C%7B+X+%5Cin+R+%3A+P%5Bx+%5Cleq+X%5D+%3E+%5Calpha+%5C%7D+&bg=ffffff&fg=000000&s=0&c=20201002)
Now for the expected shortfall, we shall see the formula given below,

![ES_q(X) = - \frac{1}{\alpha} \frac{ \int_{-\infty}^{-VaR_{\alpha}} x f(x) dx } { P[X \leq -VaR_{\alpha}}]](https://s0.wp.com/latex.php?latex=ES_q%28X%29+%3D+-+%5Cfrac%7B1%7D%7B%5Calpha%7D+%5Cfrac%7B+%5Cint_%7B-%5Cinfty%7D%5E%7B-VaR_%7B%5Calpha%7D%7D+x+f%28x%29+dx+%7D+%7B+P%5BX+%5Cleq+-VaR_%7B%5Calpha%7D%7D%5D+&bg=ffffff&fg=000000&s=0&c=20201002)
Now, let’s look at the coherent properties of VaR & Expected Shortfall risk measures given below, note that from below properties VaR satisfies first three whereas ES satisfies all of them, hence ES is coherent risk measure. As side note, there’s been proposal for convexity (CO) measure which is slightly modified version of the sub additivity which better suggests for the coherent risk measures.
Monotonicity: 
Cash Additivity: 
Positive Homogeneity: 
SubAdditivity: 