QFT in AdS instead of LSZ

The boundary correlation functions for a QFT in a fixed AdS background should reduce to S-matrix elements in the flat-space limit. We consider this procedure in detail for four-point functions. With minimal assumptions we rigorously show that the resulting S-matrix element obeys a dispersion relation, the non-linear unitarity conditions, and the Froissart-Martin bound. QFT in AdS thus provides an alternative route to fundamental QFT results that normally rely on the LSZ axioms.