ATS Theorem - Certain Notations

Certain Notations

. For or the record

means that there are the constants and such that

. For a real number the record means that

where

is the fractional part of

Read more about this topic:  ATS Theorem