The quantity of real GDP supplied at full employment