On the vanishing order of Jacobi forms at infinity

In this paper, we establish two types of upper bound on the vanishing order of Jacobi forms at infinity. The first type is for classical Jacobi forms, which is optimal in a certain sense. The second type is for Jacobi forms of lattice index. Based on this bound, we obtain a lower bound on the slope of orthogonal modular forms, and we prove that the module of symmetric formal Fourier–Jacobi series on <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mrow/> <m:mo>⁢</m:mo> <m:mi mathvariant="normal">O</m:mi> </m:mrow> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>m</m:mi> <m:mo>,</m:mo> <m:mn>2</m:mn> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> {{O}(m,2)} has finite rank.