Go backward to Asymptotic of Polynomial SequencesGo up to TopGo forward to Asymptotic Classes |

*Proposition:*
For every variable `n` and terms `S` and `T`, the phrase

is a proposition with bound variableS<_{n}T

S= O_{n}(T) /\T!=O_{n}(S).

*Means to compare the growth of classes of functions.*

Author: Wolfgang Schreiner

Last Modification: December 14, 1999