Rigorous bounds for ground-state properties of correlated Fermi systems.