The S-matrix bootstrap. Part I: QFT in AdS