信頼水準αのVaRを V とするとき、期待ショートフォール(ES)との関係で常に成り立つものはどれか(損失分布は連続とする)。

ESはVaRを超える部分の平均であるため、理論上必ずVaR以上の値をとる。