How did you come up with this calculation? I can't see why you'd need downsampled z/back buffers at all.2560 * 1600 * 4 * (1 (front buffer) + 1 (back buffer) + 1 (Z buffer) + 16(AA back buffer) + 16 (AA Z buffer)) = quite a lot (~547 MiByte).
Thus it should be (assuming 32bit color/z): 2560*1600*4(1 (front) + 16 (back) + 16(z)) - ok it's not that much of a difference...
Oh and btw AF is completely free in terms of memory requirements - and obviously "with 16xAF but memory requirements without textures" doesn't make sense anyway...