Before revision: We give a rigorous proof of the representation of implied volatility as a time-average of weighted expectations of local or stochastic volatility.
After revision: We give a new proof of the representation of implied volatility as a time-average of weighted expectations of local or stochastic volatility.