Abstract: This paper investigates nested simulation for estimating Value-at-Risk (VaR), a widely adopted risk measure in practice. We formulate a mathematical framework tailored to a practical setting ...