– berilgen haqıyqıy $x$ sanınan aspaytuǵın eń úlken pútin san. $x$ sanınıń pútin bólegi $[x]$ yamasa $E(x)$ dep belgilenedi. Ol tómendegi teńsizlikti qanaatlandıradı: $[x]\le x<[x]+1.$ $x$ sanı ózinıń $[x]$ pútin bólegi hám $\{x\}$ bólshek bólegi menen $x=[x]+\{x\}$ teńligi arqalı baylanısqan.