I am interested in a rigorous explanation on why the Lipschitz condition plays a major part in stochastic calculus, most significantly in mathematical finance.
To be specific, suppose we want to compute the expected value of $f(S_T)$, where $f(S)$ is a scalar function with a uniform Lipschitz bound, i.e., there exists a constant $c$ such that $$ \mid f(U) - f(V) \mid \leq c \, \mid\mid U-V\mid\mid $$ for every $U,V$.
The question is, why do we need to guarantee that an instrument's payoff must satisfy this condition? If this condition is not satisfied, does it mean we can't construct an efficient pricing model?