Expected shortfall closed form

Expected shortfall closed form