Baber-Agakov Bound

Emacs 30.1.90 (Org mode 9.7.11)