Functional Residual Volume Formula