Stolz定理，也被稱為O'Stolz定理或施托爾茲定理，是一種用於求數列極限的重要方法。該定理適用於處理特定類型的不定式極限，主要包括*/∞型（即分母趨於正無窮大的分式極限）和0/0型（分子和分母都趨於0的極限）。其基本形式和內容如下：
如果數列{Bn}是嚴格單調遞增的，並且當n趨向於無窮大時，{Bn}趨向於正無窮大，那麼在lim(n→+∞)[A(n+1)-An]/(B(n+1)-Bn)=L（L可以是有限數，+∞，或-∞）的條件下，可以得出lim(n→+∞)[An]/(Bn)=L。
這個定理可以看作是離散版本的洛必達法則，它在處理特定類型的不定式極限時非常有效。需要注意的是，Stolz定理要求分母數列{Bn}是嚴格單調遞增的，並且當n趨向於無窮大時，{Bn}趨向於正無窮大。此外，Stolz定理的逆定理不成立，這意味著從極限的結果不能唯一確定數列的形式。