In this paper, the authors refer to the axiomatic theory of risk and investigate the problem of formal verification of the expected shortfall (ES) model based on a sample ES. Recognizing the ...