The two preliminary sequence limit laws follow directly from the triangle inequality. For the sum, choose indices so that and beyond their respective cutoffs. Beyond the larger cutoff,
Thus
For the reciprocal, convergence to nonzero gives eventually. The reverse triangle inequality then gives , and consequently
Choosing the eventual error smaller than both and proves
The nonzero limit gives the denominator a positive lower bound; nonzero individual terms alone would not do so. The assumption ensures the reciprocal sequence is defined even before this eventual bound applies.
Linearizing the shallow water equations about depth at rest gives wave speed . Replacing by in the nonlinear equations yields and . Direct addition and subtraction give
Thus the Riemann invariants are constant on the characteristics with speeds . In this problem .

There are unlisted articles, also show them or only show them.