5290:
1288:
7103:
4973:
1519:
1011:
6839:
4954:
5285:{\displaystyle {\begin{aligned}&\left\lfloor {\frac {x{\vphantom {1}}}{n}}\right\rfloor +\left\lfloor {\frac {m+x}{n}}\right\rfloor +\left\lfloor {\frac {2m+x}{n}}\right\rfloor +\dots +\left\lfloor {\frac {(n-1)m+x}{n}}\right\rfloor \\=&\left\lfloor {\frac {x{\vphantom {1}}}{m}}\right\rfloor +\left\lfloor {\frac {n+x}{m}}\right\rfloor +\left\lfloor {\frac {2n+x}{m}}\right\rfloor +\cdots +\left\lfloor {\frac {(m-1)n+x}{m}}\right\rfloor .\end{aligned}}}
57:
43:
7297:
11713:
9440:
1311:
1283:{\displaystyle {\begin{alignedat}{3}\lfloor x\rfloor &=m\ \ &&{\mbox{ if and only if }}&m&\leq x<m+1,\\\lceil x\rceil &=n&&{\mbox{ if and only if }}&\ \ n-1&<x\leq n,\\\lfloor x\rfloor &=m&&{\mbox{ if and only if }}&x-1&<m\leq x,\\\lceil x\rceil &=n&&{\mbox{ if and only if }}&x&\leq n<x+1.\end{alignedat}}}
7098:{\displaystyle {\begin{aligned}\left({\frac {q}{p}}\right)&=(-1)^{\left\lfloor {\frac {q}{p}}\right\rfloor +\left\lfloor {\frac {2q}{p}}\right\rfloor +\dots +\left\lfloor {\frac {mq}{p}}\right\rfloor },\\\left({\frac {p}{q}}\right)&=(-1)^{\left\lfloor {\frac {p}{q}}\right\rfloor +\left\lfloor {\frac {2p}{q}}\right\rfloor +\dots +\left\lfloor {\frac {np}{q}}\right\rfloor }.\end{aligned}}}
1875:
4734:
5703:
9749:
11306:
2926:
7618:
7118:
2055:
9191:
1514:{\displaystyle {\begin{aligned}x<n&\;\;{\mbox{ if and only if }}&\lfloor x\rfloor &<n,\\n<x&\;\;{\mbox{ if and only if }}&n&<\lceil x\rceil ,\\x\leq n&\;\;{\mbox{ if and only if }}&\lceil x\rceil &\leq n,\\n\leq x&\;\;{\mbox{ if and only if }}&n&\leq \lfloor x\rfloor .\end{aligned}}}
8867:
11122:
8126:
3042:
4949:{\displaystyle \left\lfloor {\frac {m{\vphantom {1}}}{n}}\right\rfloor +\left\lfloor {\frac {2m}{n}}\right\rfloor +\dots +\left\lfloor {\frac {(n-1)m}{n}}\right\rfloor =\left\lfloor {\frac {n{\vphantom {1}}}{m}}\right\rfloor +\left\lfloor {\frac {2n}{m}}\right\rfloor +\dots +\left\lfloor {\frac {(m-1)n}{m}}\right\rfloor .}
11692:
1699:
5556:
3585:
2415:
12450:
3455:
11155:
4070:
4194:
3939:
9489:
11424:
2532:
5437:
2219:
1676:
3818:
2643:
10350:
10801:
5545:
2772:
7292:{\displaystyle \left\lfloor {\frac {q}{p}}\right\rfloor +\left\lfloor {\frac {2q}{p}}\right\rfloor +\dots +\left\lfloor {\frac {mq}{p}}\right\rfloor +\left\lfloor {\frac {p}{q}}\right\rfloor +\left\lfloor {\frac {2p}{q}}\right\rfloor +\dots +\left\lfloor {\frac {np}{q}}\right\rfloor =mn.}
7454:
10967:
9180:
10684:
10128:
7772:
9435:{\displaystyle \gamma =\sum _{k=2}^{\infty }(-1)^{k}{\frac {\left\lfloor \log _{2}k\right\rfloor }{k}}={\tfrac {1}{2}}-{\tfrac {1}{3}}+2\left({\tfrac {1}{4}}-{\tfrac {1}{5}}+{\tfrac {1}{6}}-{\tfrac {1}{7}}\right)+3\left({\tfrac {1}{8}}-\cdots -{\tfrac {1}{15}}\right)+\cdots }
7871:
2757:
1895:
12510:
Hardy & Wright, pp. 344—345 "Any one of these formulas (or any similar one) would attain a different status if the exact value of the number α ... could be expressed independently of the primes. There seems no likelihood of this, but it cannot be ruled out as entirely
3686:
10587:
9958:
7439:
3234:
11829:. Division by a power of 2 is often written as a right-shift, not for optimization as might be assumed, but because the floor of negative results is required. Assuming such shifts are "premature optimization" and replacing them with division can break software.
11736:
was defined to require this behavior and thus almost all processors implement conversion this way. Some consider this to be an unfortunate historical design decision that has led to bugs handling negative offsets and graphics on the negative side of the origin.
5877:
8729:
6445:
10982:
3318:
5960:
7974:
4347:
11505:
2937:
1870:{\displaystyle {\begin{aligned}\lfloor x\rfloor +\lfloor y\rfloor &\leq \lfloor x+y\rfloor \leq \lfloor x\rfloor +\lfloor y\rfloor +1,\\\lceil x\rceil +\lceil y\rceil -1&\leq \lceil x+y\rceil \leq \lceil x\rceil +\lceil y\rceil .\end{aligned}}}
10219:
11535:
5698:{\displaystyle m\leq \left\lfloor {\frac {x}{n}}\right\rfloor \implies m\leq {\frac {x}{n}}\implies n\leq {\frac {x}{m}}\implies n\leq \left\lfloor {\frac {x}{m}}\right\rfloor \implies \ldots \implies m\leq \left\lfloor {\frac {x}{n}}\right\rfloor ,}
4479:
6255:
9063:
4611:
7961:
3463:
2291:
8347:
12328:
11301:{\displaystyle \left\lfloor {\tfrac {n}{3}}\right\rfloor +\left\lfloor {\tfrac {n+2}{6}}\right\rfloor +\left\lfloor {\tfrac {n+4}{6}}\right\rfloor =\left\lfloor {\tfrac {n}{2}}\right\rfloor +\left\lfloor {\tfrac {n+3}{6}}\right\rfloor ,}
3333:
9744:{\displaystyle \sum _{a<n\leq b}\varphi (n)=\int _{a}^{b}\varphi (x)\,dx+\int _{a}^{b}\left(\{x\}-{\tfrac {1}{2}}\right)\varphi '(x)\,dx+\left(\{a\}-{\tfrac {1}{2}}\right)\varphi (a)-\left(\{b\}-{\tfrac {1}{2}}\right)\varphi (b).}
3954:
12500:
Ribenboim, p. 180 says that "Despite the nil practical value of the formulas ... may have some relevance to logicians who wish to understand clearly how various parts of arithmetic may be deduced from different axiomatzations ...
4078:
3826:
11312:
5777:
4714:
2426:
5340:
2118:
1534:
3705:
2540:
10242:
10702:
8459:
5448:
2921:{\displaystyle {\begin{aligned}{\big \lfloor }\lfloor x\rfloor {\big \rfloor }&=\lfloor x\rfloor ,\\{\big \lceil }\lceil x\rceil {\big \rceil }&=\lceil x\rceil ,\\{\big \{}\{x\}{\big \}}&=\{x\}.\end{aligned}}}
3143:
6568:
7613:{\displaystyle {\begin{aligned}\left({\frac {2}{p}}\right)&=(-1)^{\left\lfloor {\frac {p+1}{4}}\right\rfloor },\\\left({\frac {3}{p}}\right)&=(-1)^{\left\lfloor {\frac {p+1}{6}}\right\rfloor }.\end{aligned}}}
783:
850:
10831:
9071:
10606:
11723:
In most programming languages, the simplest method to convert a floating point number to an integer does not do floor or ceiling, but truncation. The reason for this is historical, as the first machines used
10000:
7678:
10454:
7459:
6844:
4978:
2050:{\displaystyle {\begin{aligned}x_{1}\leq x_{2}&\Rightarrow \lfloor x_{1}\rfloor \leq \lfloor x_{2}\rfloor ,\\x_{1}\leq x_{2}&\Rightarrow \lceil x_{1}\rceil \leq \lceil x_{2}\rceil .\end{aligned}}}
1704:
7777:
2654:
8550:
6338:
3600:
2107:
2280:
2942:
2777:
2296:
1900:
1539:
1316:
11827:
10465:
9825:
7308:
3158:
8862:{\displaystyle \left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +\left\lfloor {\frac {n}{p^{3}}}\right\rfloor +\dots ={\frac {n-\sum _{k}a_{k}}{p-1}}}
6264:
At points of discontinuity, a
Fourier series converges to a value that is the average of its limits on the left and the right, unlike the floor, ceiling and fractional part functions: for
5805:
11117:{\displaystyle \pi (n)=\sum _{j=2}^{n}{\Biggl \lfloor }1\,{\bigg /}\ {\sum _{k=2}^{j}\left\lfloor \left\lfloor {\frac {j}{k}}\right\rfloor {\frac {k}{j}}\right\rfloor }{\Biggr \rfloor }.}
8650:
6154:
928:
8121:{\displaystyle \lfloor x\rceil =\left\lfloor x+{\tfrac {1}{2}}\right\rfloor +{\bigl \lceil }{\tfrac {1}{4}}(2x-1){\bigr \rceil }-{\bigl \lfloor }{\tfrac {1}{4}}(2x-1){\bigr \rfloor }-1}
6333:
3242:
6693:
6638:
5885:
3037:{\displaystyle {\begin{aligned}{\big \lfloor }\lceil x\rceil {\big \rfloor }&=\lceil x\rceil ,\\{\big \lceil }\lfloor x\rfloor {\big \rceil }&=\lfloor x\rfloor \end{aligned}}}
6821:
6769:
4213:
11430:
11687:{\displaystyle 3^{k}-2^{k}{\Bigl \lfloor }{\bigl (}{\tfrac {3}{2}}{\bigr )}^{k}{\Bigr \rfloor }>2^{k}-{\Bigl \lfloor }{\bigl (}{\tfrac {3}{2}}{\bigr )}^{k}{\Bigr \rfloor }-2\ ?}
8211:
963:
10148:
9797:
8923:
6082:
6002:
995:
8157:
6112:
6028:
4369:
3580:{\displaystyle n=\left\lfloor {\frac {n{\vphantom {1}}}{m}}\right\rfloor +\left\lfloor {\frac {n+1}{m}}\right\rfloor +\dots +\left\lfloor {\frac {n+m-1}{m}}\right\rfloor .}
2410:{\displaystyle {\begin{aligned}\lfloor x\rfloor +\lceil -x\rceil &=0\\-\lfloor x\rfloor &=\lceil -x\rceil \\-\lceil x\rceil &=\lfloor -x\rfloor \end{aligned}}}
716:
9481:
8979:
4501:
12445:{\textstyle \sum _{m=1}^{\lfloor {\sqrt {n}}\rfloor }{\bigl (}{\bigl \lfloor }{\frac {n}{m}}{\bigr \rfloor }-{\bigl \lfloor }{\frac {n-1}{m}}{\bigr \rfloor }{\bigr )}=1}
7879:
5332:
8281:
8273:
3450:{\displaystyle n=\left\lceil {\frac {n{\vphantom {1}}}{m}}\right\rceil +\left\lceil {\frac {n-1}{m}}\right\rceil +\dots +\left\lceil {\frac {n-m+1}{m}}\right\rceil ,}
6138:
6054:
4065:{\displaystyle \left\lceil {\frac {n{\vphantom {1}}}{m}}\right\rceil =\left\lfloor {\frac {n+m-1}{m}}\right\rfloor =\left\lfloor {\frac {n-1}{m}}\right\rfloor +1,}
4189:{\displaystyle \left\lfloor {\frac {n{\vphantom {1}}}{m}}\right\rfloor =\left\lceil {\frac {n-m+1}{m}}\right\rceil =\left\lceil {\frac {n+1}{m}}\right\rceil -1,}
3934:{\displaystyle \lfloor mx\rfloor =\left\lfloor x\right\rfloor +\left\lfloor x+{\frac {1}{m}}\right\rfloor +\dots +\left\lfloor x+{\frac {m-1}{m}}\right\rfloor .}
11782:
11762:
8237:
7669:
7646:
11419:{\displaystyle \left\lfloor {\tfrac {1}{2}}+{\sqrt {n+{\tfrac {1}{2}}}}\right\rfloor =\left\lfloor {\tfrac {1}{2}}+{\sqrt {n+{\tfrac {1}{4}}}}\right\rfloor ,}
2527:{\displaystyle \lfloor x\rfloor +\lfloor -x\rfloor ={\begin{cases}0&{\text{if }}x\in \mathbb {Z} \\-1&{\text{if }}x\not \in \mathbb {Z} ,\end{cases}}}
5432:{\displaystyle m\leq \left\lfloor {\frac {x}{n}}\right\rfloor \iff n\leq \left\lfloor {\frac {x}{m}}\right\rfloor \iff n\leq {\frac {\lfloor x\rfloor }{m}}.}
4619:
2214:{\displaystyle \lceil x\rceil -\lfloor x\rfloor ={\begin{cases}0&{\mbox{ if }}x\in \mathbb {Z} \\1&{\mbox{ if }}x\not \in \mathbb {Z} \end{cases}}}
1671:{\displaystyle {\begin{aligned}\lfloor x+n\rfloor &=\lfloor x\rfloor +n,\\\lceil x+n\rceil &=\lceil x\rceil +n,\\\{x+n\}&=\{x\}.\end{aligned}}}
5711:
3813:{\displaystyle \lceil mx\rceil =\left\lceil x\right\rceil +\left\lceil x-{\frac {1}{m}}\right\rceil +\dots +\left\lceil x-{\frac {m-1}{m}}\right\rceil ,}
2638:{\displaystyle \lceil x\rceil +\lceil -x\rceil ={\begin{cases}0&{\text{if }}x\in \mathbb {Z} \\1&{\text{if }}x\not \in \mathbb {Z} .\end{cases}}}
10345:{\displaystyle \sum _{m=1}^{\infty }\left({\biggl \lfloor }{\frac {n}{m}}{\biggr \rfloor }-{\biggl \lfloor }{\frac {n-1}{m}}{\biggr \rfloor }\right)=2.}
10796:{\displaystyle \left\lfloor 2^{\omega }\right\rfloor ,\left\lfloor 2^{2^{\omega }}\right\rfloor ,\left\lfloor 2^{2^{2^{\omega }}}\right\rfloor ,\dots }
5540:{\displaystyle m\geq \left\lceil {\frac {x}{n}}\right\rceil \iff n\geq \left\lceil {\frac {x}{m}}\right\rceil \iff n\geq {\frac {\lceil x\rceil }{m}}.}
8375:
3073:
12052:
e.g. Cassels, Hardy & Wright, and
Ribenboim use Gauss's notation. Graham, Knuth & Patashnik, and Crandall & Pomerance use Iverson's.
6510:
13092:
10962:{\displaystyle \pi (n)=\sum _{j=2}^{n}{\Biggl \lfloor }{\frac {(j-1)!+1}{j}}-\left\lfloor {\frac {(j-1)!}{j}}\right\rfloor {\Biggr \rfloor }.}
724:
9175:{\displaystyle \gamma =\lim _{n\to \infty }{\frac {1}{n}}\sum _{k=1}^{n}\left(\left\lceil {\frac {n}{k}}\right\rceil -{\frac {n}{k}}\right),}
1016:
10679:{\displaystyle \left\lfloor \theta ^{3}\right\rfloor ,\left\lfloor \theta ^{9}\right\rfloor ,\left\lfloor \theta ^{27}\right\rfloor ,\dots }
791:
10123:{\displaystyle \zeta (s)=s\int _{-\infty }^{\infty }e^{-\sigma \omega }(\lfloor e^{\omega }\rfloor -e^{\omega })e^{-it\omega }\,d\omega .}
7767:{\displaystyle {\text{rpi}}(x)=\left\lfloor x+{\tfrac {1}{2}}\right\rfloor =\left\lceil {\tfrac {1}{2}}\lfloor 2x\rfloor \right\rceil }
13224:
13096:
7866:{\displaystyle {\text{rni}}(x)=\left\lceil x-{\tfrac {1}{2}}\right\rceil =\left\lfloor {\tfrac {1}{2}}\lceil 2x\rceil \right\rfloor }
2752:{\displaystyle \{x\}+\{-x\}={\begin{cases}0&{\text{if }}x\in \mathbb {Z} \\1&{\text{if }}x\not \in \mathbb {Z} .\end{cases}}}
657:
commands in math mode. LaTeX has supported UTF-8 since 2018, so the
Unicode characters can now be used directly. Larger versions are
10382:
3681:{\displaystyle n=\left\lfloor {\frac {n{\vphantom {1}}}{2}}\right\rfloor +\left\lceil {\frac {n{\vphantom {1}}}{2}}\right\rceil .}
12932:
8479:
6573:
Then it follows from the definition of floor function that this extended operation satisfies many natural properties. Notably,
12911:
13147:
13069:
2071:
237:
produce graphs that appear exactly alike, they are not the same when the value of x is an exact integer. For example, when
10582:{\displaystyle p_{n}=\left\lfloor r^{n^{2}}\alpha \right\rfloor -r^{2n-1}\left\lfloor r^{(n-1)^{2}}\alpha \right\rfloor .}
9953:{\displaystyle \zeta (s)=s\int _{1}^{\infty }{\frac {{\frac {1}{2}}-\{x\}}{x^{s+1}}}\,dx+{\frac {1}{s-1}}+{\frac {1}{2}}.}
2238:
7434:{\displaystyle \left({\frac {p}{q}}\right)\left({\frac {q}{p}}\right)=(-1)^{mn}=(-1)^{{\frac {p-1}{2}}{\frac {q-1}{2}}}.}
11787:
3229:{\displaystyle \left\lfloor {\frac {x+m}{n}}\right\rfloor =\left\lfloor {\frac {\lfloor x\rfloor +m}{n}}\right\rfloor ,}
5872:{\displaystyle \left\lfloor {\frac {\lfloor x/m\rfloor }{n}}\right\rfloor =\left\lfloor {\frac {x}{mn}}\right\rfloor }
13190:
13165:
13129:
13086:
13043:
13025:
469:
notation.) Both notations are now used in mathematics, although
Iverson's notation will be followed in this article.
13231:, Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic, retrieved 24 October 2008
13121:
13017:
8240:
6826:
6440:{\displaystyle \lfloor x\rfloor =x-{\frac {1}{2}}+{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}}
17:
8577:
3313:{\displaystyle \left\lceil {\frac {x+m}{n}}\right\rceil =\left\lceil {\frac {\lceil x\rceil +m}{n}}\right\rceil .}
877:
5955:{\displaystyle \left\lceil {\frac {\lceil x/m\rceil }{n}}\right\rceil =\left\lceil {\frac {x}{mn}}\right\rceil .}
4342:{\displaystyle \sum _{k=1}^{n-1}\left\lfloor {\frac {km}{n}}\right\rfloor ={\frac {(m-1)(n-1)+\gcd(m,n)-1}{2}},}
13287:
12031:
12007:
11500:{\displaystyle \left\lfloor {\sqrt {n}}+{\sqrt {n+1}}\right\rfloor =\left\lfloor {\sqrt {4n+2}}\right\rfloor .}
6294:
12713:
12248:
sequence A000522 (Total number of arrangements of a set with n elements: a(n) = Sum_{k=0..n} n!/k!.)
6653:
6598:
13216:
12738:
12278:
12199:
Graham, Knuth, & Patashnik, p. 71, apply theorem 3.10 with x/m as input and the division by n as function
11861:
11841:
8970:
6773:
6721:
10214:{\textstyle {\bigl \lfloor }{\frac {n}{m}}{\bigr \rfloor }-{\bigl \lfloor }{\frac {n-1}{m}}{\bigr \rfloor }}
9975:} can be used to extend the zeta function to the entire complex plane and to prove its functional equation.
11849:
8169:
13211:
12974:
11845:
936:
9757:
13282:
13003:
12953:
11877:
8875:
6061:
5981:
968:
4474:{\displaystyle \sum _{k=1}^{n-1}\left\lfloor {\frac {km}{n}}\right\rfloor ={\tfrac {1}{2}}(m-1)(n-1),}
13292:
12838:
8470:
8131:
7444:
There are formulas that use floor to express the quadratic character of small numbers mod odd primes
6250:{\displaystyle \{x\}={\frac {1}{2}}-{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}}
6091:
6007:
5975:
13206:
9058:{\displaystyle \gamma =\int _{1}^{\infty }\left({1 \over \lfloor x\rfloor }-{1 \over x}\right)\,dx,}
4606:{\displaystyle \sum _{k=1}^{n-1}\left\lceil {\frac {km}{n}}\right\rceil ={\tfrac {1}{2}}(m+1)(n-1),}
2690:
2576:
2462:
2151:
12317:
Crandall & Pomerance, Ex. 1.3, p. 46. The infinite upper limit of the sum can be replaced with
11885:
11857:
11833:
11717:
10137:
used this representation to construct an analogue computer for finding roots of the zeta function.
7956:{\displaystyle {\text{ri}}(x)=\operatorname {sgn}(x)\left\lfloor |x|+{\tfrac {1}{2}}\right\rfloor }
5302:
Division by positive integers gives rise to an interesting and sometimes useful property. Assuming
12688:
699:
13061:
11961:
10145:
The floor function appears in several formulas characterizing prime numbers. For example, since
9457:
12662:
8342:{\displaystyle Q(x)=\Delta \cdot \left\lfloor {\frac {x}{\Delta }}+{\frac {1}{2}}\right\rfloor }
12112:
11035:
78:
5305:
11956:
11919:
rounds toward zero, the opposite of what "int" and "floor" do in other languages. Since 2010
10134:
9451:
8721:
8359:
8258:
6704:
3696:
438:
428:
424:
6147:
expansion. Since floor and ceiling are not periodic, they do not have uniformly convergent
6117:
6033:
434:
6143:
Since none of the functions discussed in this article are continuous, none of them have a
8:
11729:
11725:
11519:
10822:
7968:
5971:
12886:
12550:
11767:
11747:
10597:
8222:
8163:
7654:
7631:
1886:
1298:
856:
442:
12611:
13258:
13255:
13236:
13186:
13161:
13143:
13125:
13082:
13065:
13054:
13039:
13021:
12636:
12027:
12003:
8954:
8684:
8572:
5772:{\textstyle \lfloor x/n\rfloor ={\bigl \lfloor }\lfloor x\rfloor /n{\bigr \rfloor }.}
4709:{\displaystyle \sum _{k=1}^{n-1}\left\{{\frac {km}{n}}\right\}={\tfrac {1}{2}}(n-1).}
2229:
1302:
504:
4484:
and similarly for the ceiling and fractional part functions (still for positive and
13239:
12593:
11971:
11741:
8565:
7109:
6473:
1305:: it is the upper adjoint of the function that embeds the integers into the reals.
12091:
1005:
These formulas can be used to simplify expressions involving floors and ceilings.
13011:
11908:
8950:
6830:
6085:
500:
466:
291:
188:, and was historically denoted (among other notations). However, the same term,
12535:
12079:
7672:
6288: = 0. At points of continuity the series converges to the true value.
11928:
10234:
8958:
6148:
5779:
The second equivalence involving the ceiling function can be proved similarly.
12852:
12763:
12597:
11510:
Some generalizations to the above floor function identities have been proven.
10355:
One may also give formulas for producing the prime numbers. For example, let
9450:
The fractional part function also shows up in integral representations of the
8454:{\displaystyle \lfloor \log _{b}{k}\rfloor +1=\lceil \log _{b}{(k+1)}\rceil .}
13276:
11966:
11888:, a follow-on to APL that is designed to use standard keyboard symbols, uses
7964:
12813:
11924:
6144:
3138:{\displaystyle 0\leq \left\{{\frac {m}{n}}\right\}\leq 1-{\frac {1}{|n|}}.}
2931:
The result of nested floor or ceiling functions is the innermost function:
1294:
13002:, Cambridge Tracts in Mathematics and Mathematical Physics, vol. 45,
12788:
6563:{\displaystyle x{\bmod {y}}=x-y\left\lfloor {\frac {x}{y}}\right\rfloor .}
196:
towards zero, which differs from the floor function for negative numbers.
12584:
12582:(1957). "On the fractional parts of the powers of a rational number II".
12579:
11932:
11697:
9971:= 1, where there is a pole) and combined with the Fourier expansion for {
8217:
2763:
82:
70:
13181:
Titchmarsh, Edward
Charles; Heath-Brown, David Rodney ("Roger") (1986),
3944:
The following can be used to convert floors to ceilings and vice versa (
778:{\displaystyle \lfloor x\rfloor =\max\{m\in \mathbb {Z} \mid m\leq x\},}
8128:, which is the above expression for rounding towards positive infinity
6151:
expansions. The fractional part function has
Fourier series expansion
2285:
Negating the argument switches floor and ceiling and changes the sign:
193:
9483:
is any function with a continuous derivative in the closed interval ,
9454:. It is straightforward to prove (using integration by parts) that if
8473:
of arbitrary length that doesn't use any character twice is given by
845:{\displaystyle \lceil x\rceil =\min\{n\in \mathbb {Z} \mid n\geq x\}.}
13263:
13244:
11135:
9800:
8667:
12555:
12536:"On some generalizations to floor function identities of Ramanujan"
11864:) provide standard functions for floor and ceiling, usually called
7649:
56:
449:, the names "floor" and "ceiling" and the corresponding notations
12244:
11733:
8160:
7302:
Combining these formulas gives quadratic reciprocity in the form
4485:
4353:
694:
89:
42:
8464:
4720:
Since the right-hand side of the general case is symmetrical in
997: may also be taken as the definition of floor and ceiling.
11712:
11127:
None of the formulas in this section are of any practical use.
8973:γ = 0.57721 56649 ... that involve the floor and ceiling, e.g.
8712:
a positive prime number. The exponent of the highest power of
7876:
If tie-breaking is away from 0, then the rounding function is
437:
introduced the square bracket notation in his third proof of
13034:
Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1994),
11897:
11837:
11728:
and truncation was simpler to implement (floor is simpler in
10449:{\displaystyle \alpha =\sum _{m=1}^{\infty }p_{m}r^{-m^{2}}.}
8564:> 0 is the number of letters in the alphabet (e.g., 26 in
6667:
6612:
6518:
642:
465:. (Iverson used square brackets for a different purpose, the
11947:
has a third argument to reproduce Excel's earlier behavior.
645:
typesetting system, these symbols can be specified with the
12247:
8545:{\displaystyle (n)_{0}+\cdots +(n)_{n}=\lfloor en!\rfloor }
2745:
2631:
2520:
2207:
13229:
Interactive
Information Portal for Algorithmic Mathematics
13253:
11923:
has been changed to error if the number is negative. The
11853:
10229:, and to 0 otherwise, it follows that a positive integer
13056:
8239:
to the nearest integer value forms a very basic type of
441:(1808). This remained the standard in mathematics until
13234:
8933:. This is a finite sum, since the floors are zero when
2648:
Negating the argument complements the fractional part:
12331:
11640:
11577:
11395:
11372:
11345:
11322:
11272:
11249:
11218:
11187:
11164:
10151:
9710:
9661:
9600:
9410:
9389:
9361:
9346:
9331:
9316:
9293:
9278:
8878:
8696:= 26, this comes out to 1096259850353149530222034277.
8174:
8076:
8029:
8002:
7937:
7835:
7810:
7736:
7711:
6784:
6732:
5714:
4677:
4559:
4427:
2762:
The floor, ceiling, and fractional part functions are
2187:
2160:
2102:{\displaystyle \lfloor x\rfloor \leq \lceil x\rceil ,}
1477:
1429:
1381:
1333:
1243:
1180:
1111:
1048:
13180:
11790:
11770:
11750:
11700:
has proved there can only be a finite number of such
11538:
11433:
11315:
11158:
10985:
10834:
10705:
10609:
10468:
10385:
10245:
10003:
9828:
9760:
9492:
9460:
9194:
9074:
8982:
8732:
8580:
8482:
8378:
8284:
8261:
8225:
8172:
8134:
7977:
7882:
7780:
7681:
7657:
7634:
7457:
7311:
7121:
6842:
6776:
6724:
6656:
6601:
6513:
6341:
6297:
6157:
6120:
6094:
6064:
6036:
6010:
5984:
5888:
5808:
5559:
5451:
5343:
5308:
4976:
4737:
4622:
4504:
4372:
4216:
4081:
3957:
3829:
3708:
3603:
3466:
3336:
3245:
3161:
3076:
2940:
2775:
2657:
2543:
2429:
2294:
2241:
2121:
2074:
1898:
1702:
1537:
1314:
1014:
971:
939:
880:
794:
727:
702:
13033:
12469:
12467:
5970:
None of the functions discussed in this article are
2275:{\displaystyle \lfloor n\rfloor =\lceil n\rceil =n.}
718:, floor and ceiling may be defined by the equations
5965:
13053:
12444:
12163:Graham, Knuth, & Patashnik, p. 85 and Ex. 3.15
11822:{\displaystyle \left\lfloor x/2^{n}\right\rfloor }
11821:
11776:
11756:
11686:
11499:
11418:
11300:
11116:
10961:
10795:
10678:
10581:
10448:
10344:
10213:
10122:
9952:
9791:
9743:
9475:
9434:
9174:
9057:
8917:
8861:
8644:
8544:
8453:
8341:
8267:
8231:
8205:
8151:
8120:
7955:
7865:
7766:
7663:
7640:
7612:
7433:
7291:
7097:
6815:
6763:
6707:, as modified by Eisenstein, has two basic steps.
6687:
6632:
6562:
6439:
6327:
6249:
6132:
6106:
6076:
6048:
6022:
5996:
5954:
5871:
5771:
5697:
5539:
5431:
5326:
5284:
4948:
4708:
4605:
4473:
4341:
4188:
4064:
3933:
3812:
3680:
3579:
3449:
3312:
3228:
3137:
3036:
2920:
2751:
2637:
2526:
2409:
2274:
2213:
2101:
2049:
1869:
1670:
1513:
1282:
989:
957:
922:
844:
777:
710:
13079:Handbook of writing for the mathematical sciences
13009:
12464:
12024:Handbook of mathematics and computational science
11667:
11627:
11604:
11564:
11106:
11024:
10951:
10873:
10326:
10301:
10291:
10274:
7774:; rounding towards negative infinity is given as
120:to the smallest integer greater than or equal to
13274:
13101:ISO/IEC 9899::1999(E): Programming languages — C
10817:) be the number of primes less than or equal to
9082:
6718:be distinct positive odd prime numbers, and let
4306:
2060:
807:
740:
11716:Int function from floating-point conversion in
12997:
12277:These formulas are from the Knowledge article
9967:with real part greater than −1, (except
423:in the original) was first defined in 1798 by
12431:
12424:
12399:
12389:
12372:
12365:
11654:
11634:
11591:
11571:
10206:
10181:
10171:
10154:
10140:
8465:Number of strings without repeated characters
8107:
8070:
8060:
8023:
5761:
5737:
3009:
2993:
2963:
2947:
2890:
2874:
2844:
2828:
2798:
2782:
472:In some sources, boldface or double brackets
13103:(2nd ed), 1999; Section 6.3.1.4, p. 43.
13000:An introduction to Diophantine approximation
12975:"Documentation/How Tos/Calc: FLOOR function"
12358:
12348:
10072:
10059:
9884:
9878:
9703:
9697:
9654:
9648:
9593:
9587:
9445:
9021:
9015:
8645:{\displaystyle (n)_{k}=n(n-1)\cdots (n-k+1)}
8539:
8527:
8445:
8412:
8400:
8379:
7984:
7978:
7855:
7846:
7756:
7747:
6348:
6342:
6322:
6316:
6304:
6298:
6164:
6158:
6127:
6121:
6101:
6095:
6071:
6065:
6043:
6037:
6017:
6011:
5991:
5985:
5910:
5896:
5830:
5816:
5748:
5742:
5729:
5715:
5525:
5519:
5417:
5411:
3839:
3830:
3718:
3709:
3288:
3282:
3204:
3198:
3027:
3021:
3004:
2998:
2981:
2975:
2958:
2952:
2908:
2902:
2885:
2879:
2862:
2856:
2839:
2833:
2816:
2810:
2793:
2787:
2679:
2670:
2664:
2658:
2565:
2556:
2550:
2544:
2451:
2442:
2436:
2430:
2400:
2391:
2381:
2375:
2365:
2356:
2346:
2340:
2320:
2311:
2305:
2299:
2260:
2254:
2248:
2242:
2140:
2134:
2128:
2122:
2093:
2087:
2081:
2075:
2037:
2024:
2018:
2005:
1965:
1952:
1946:
1933:
1857:
1851:
1845:
1839:
1833:
1821:
1805:
1799:
1793:
1787:
1771:
1765:
1759:
1753:
1747:
1735:
1725:
1719:
1713:
1707:
1658:
1652:
1642:
1630:
1614:
1608:
1598:
1586:
1570:
1564:
1554:
1542:
1501:
1495:
1443:
1437:
1405:
1399:
1347:
1341:
1226:
1220:
1163:
1157:
1094:
1088:
1025:
1019:
978:
972:
946:
940:
923:{\displaystyle x-1<m\leq x\leq n<x+1.}
836:
810:
801:
795:
769:
743:
734:
728:
672:
418:
13115:
13051:
13010:Crandall, Richard; Pomerance, Carl (2001),
12102:Graham, Knuth, & Patashnik, p. 70.
11915:rounds down rather than toward zero, while
11707:
10592:A similar result is that there is a number
8961:into two sequences via the floor function.
6492:. This definition can be extended to real
3047:due to the identity property for integers.
2228:, both floor and ceiling functions are the
560:These characters are provided in Unicode:
13118:Reciprocity Laws: from Euler to Eisenstein
13013:Prime Numbers: A Computational Perspective
12954:"Documentation/How Tos/Calc: INT function"
12325: > 1 is prime if and only if
11140:Journal of the Indian Mathematical Society
10372: > 1, define the real number
7971:can be expressed with the more cumbersome
5667:
5663:
5659:
5655:
5630:
5626:
5609:
5605:
5588:
5584:
5509:
5505:
5480:
5476:
5401:
5397:
5372:
5368:
5296:
1524:These formulas show how adding an integer
1475:
1474:
1427:
1426:
1379:
1378:
1331:
1330:
480:are used for floor, and reversed brackets
13155:
13137:
12554:
12533:
12268:Graham, Knuth, & Patashnik, pp. 77–78
11032:
10821:. It is a straightforward deduction from
10110:
9906:
9633:
9557:
9045:
6328:{\displaystyle \lfloor x\rfloor =x-\{x\}}
2735:
2710:
2621:
2596:
2510:
2482:
2200:
2173:
820:
753:
704:
12491:Crandall & Pomerance, Ex. 1.4, p. 46
12172:Graham, Knuth, & Patashnik, Ex. 3.12
11711:
8699:
8652:denotes the number of strings of length
8251:) uniform quantizer with a quantization
6698:
6688:{\displaystyle 0\geq x{\bmod {y}}>y.}
6633:{\displaystyle 0\leq x{\bmod {y}}<y,}
6484:, gives the value of the remainder when
1528:to the arguments affects the functions:
855:Since there is exactly one integer in a
660:\left\lceil, \right\rceil, \left\lfloor,
13183:The Theory of the Riemann Zeta-function
13106:
12534:Somu, Sai Teja; Kukla, Andrzej (2022).
12000:A Brief History of Mathematical Thought
11989:Graham, Knuth, & Patashnik, Ch. 3.1
8964:
6816:{\displaystyle n={\tfrac {1}{2}}(q-1).}
6764:{\displaystyle m={\tfrac {1}{2}}(p-1),}
14:
13275:
13185:(2nd ed.), Oxford: Oxford U. P.,
12686:
12660:
12578:
12181:Graham, Knuth, & Patashnik, p. 94.
11832:Many programming languages (including
10696:= 1.9287800... with the property that
7675:towards positive infinity is given by
6276:the Fourier series given converges to
6056:have discontinuities at the integers.
2065:It is clear from the definitions that
1887:monotonically non-decreasing functions
1685:is not an integer; however, for every
13254:
13235:
12190:Graham, Knuth, & Patashnik, p. 94
12154:Graham, Knuth, & Patashnik, p. 85
12145:Graham, Knuth, & Patashnik, p. 73
12136:Graham, Knuth, & Patashink, Ch. 3
8206:{\displaystyle {\tfrac {1}{4}}(2x-1)}
1885:Both floor and ceiling functions are
13158:The New Book of Prime Number Records
13052:Hardy, G. H.; Wright, E. M. (1980),
2109: with equality if and only if
11513:
8658:that don't use any character twice.
8353:
5782:
1693:, the following inequalities hold:
958:{\displaystyle \lfloor x\rfloor =m}
859:of length one, for any real number
88:, and gives as output the greatest
24:
12022:3) John W. Warris, Horst Stocker,
11149:is a positive integer, prove that
11130:
10408:
10262:
10035:
10030:
9857:
9792:{\displaystyle \varphi (n)=n^{-s}}
9217:
9092:
8999:
8944:
8918:{\textstyle n=\sum _{k}a_{k}p^{k}}
8316:
8300:
8262:
6399:
6209:
6140: are lower semi-continuous.
25:
13304:
13199:
12217:Lemmermeyer, § 1.4, Ex. 1.32–1.33
8957:gives rise to a partition of the
6077:{\displaystyle \lfloor x\rfloor }
5997:{\displaystyle \lfloor x\rfloor }
990:{\displaystyle \lceil x\rceil =n}
13142:, Providence RI: AMS / Chelsea,
12308:Crandall & Pomerance, p. 391
12226:Hardy & Wright, §§ 6.11–6.13
11525:Are there any positive integers
11522:has led to an unsolved problem:
11138:submitted these problems to the
5966:Continuity and series expansions
55:
41:
13038:, Reading Ma.: Addison-Wesley,
12967:
12946:
12925:
12904:
12879:
12870:
12845:
12831:
12806:
12781:
12756:
12739:"Math (Java SE 9 & JDK 9 )"
12731:
12714:"Math (Java SE 9 & JDK 9 )"
12706:
12680:
12654:
12629:
12604:
12572:
12563:
12527:
12514:
12504:
12494:
12485:
12476:
12455:
12311:
12302:
12293:
12284:
12271:
12262:
12253:
12238:
12229:
12220:
12211:
12202:
12193:
12184:
12175:
12166:
12157:
12148:
12139:
12130:
12118:. The LaTeX Project. April 2018
12105:
12018:Calculus: Differential Calculus
10368:-th prime, and for any integer
8152:{\displaystyle {\text{rpi}}(x)}
6459:
6454:
6107:{\displaystyle \lceil x\rceil }
6023:{\displaystyle \lceil x\rceil }
1880:
1000:
597:⌉, ⌉
12689:"Math.Ceiling Method (System)"
12096:
12085:
12073:
12064:
12055:
12046:
12037:
11992:
11983:
10995:
10989:
10933:
10921:
10893:
10881:
10844:
10838:
10557:
10544:
10088:
10056:
10013:
10007:
9963:This formula is valid for all
9838:
9832:
9770:
9764:
9735:
9729:
9686:
9680:
9630:
9624:
9554:
9548:
9524:
9518:
9470:
9464:
9232:
9222:
9089:
8639:
8621:
8615:
8603:
8588:
8581:
8515:
8508:
8490:
8483:
8441:
8429:
8294:
8288:
8200:
8185:
8146:
8140:
8102:
8087:
8055:
8040:
7929:
7921:
7912:
7906:
7894:
7888:
7792:
7786:
7693:
7687:
7571:
7561:
7497:
7487:
7386:
7376:
7361:
7351:
7006:
6996:
6882:
6872:
6807:
6795:
6755:
6743:
6428:
6413:
6238:
6223:
5664:
5656:
5627:
5606:
5585:
5506:
5477:
5398:
5369:
5253:
5241:
5102:
5090:
4927:
4915:
4823:
4811:
4700:
4688:
4597:
4585:
4582:
4570:
4465:
4453:
4450:
4438:
4321:
4309:
4300:
4288:
4285:
4273:
3125:
3117:
2002:
1930:
635:⌋, ⌋
578:⌈, ⌈
27:Nearest integers from a number
13:
1:
13138:Ramanujan, Srinivasa (2000),
12991:
12321:. An equivalent condition is
12043:Lemmermeyer, pp. 10, 23.
9990:in the critical strip 0 <
7628:For an arbitrary real number
5791:, and arbitrary real numbers
3691:More generally, for positive
2061:Relations among the functions
616:⌊, ⌊
445:introduced, in his 1962 book
13225:"Integer rounding functions"
13107:Iverson, Kenneth E. (1962),
12663:"Math.Floor Method (System)"
12208:Titchmarsh, p. 15, Eq. 2.1.7
11977:
7671:to the nearest integer with
7108:The second step is to use a
5145:
4994:
4854:
4750:
4207:strictly positive integers:
4094:
3970:
3656:
3622:
3485:
3355:
3050:
1681:The above are never true if
863:, there are unique integers
711:{\displaystyle \mathbb {Z} }
7:
13212:Encyclopedia of Mathematics
13116:Lemmermeyer, Franz (2000),
12259:Hardy & Wright, Th. 416
12113:"LaTeX News, Issue 28"
12092:Mathwords: Ceiling Function
11950:
9807:greater than 1 and letting
9476:{\displaystyle \varphi (x)}
8720:! is given by a version of
7623:
5295:This is sometimes called a
519:and defined by the formula
404:
35:Floor and ceiling functions
10:
13309:
13004:Cambridge University Press
12569:Hardy & Wright, p. 337
12461:Hardy & Wright, § 22.3
10141:Formulas for prime numbers
8708:be a positive integer and
1479: if and only if
1431: if and only if
1383: if and only if
1335: if and only if
1297:, the floor function is a
1245: if and only if
1182: if and only if
1113: if and only if
1050: if and only if
13177:, 8th edition, p. 86
13156:Ribenboim, Paulo (1996),
12768:docs.julialang.org/en/v1/
12598:10.1112/S0025579300001170
12520:Ramanujan, Question 723,
12080:Mathwords: Floor Function
10600:) with the property that
9815:be integers, and letting
9446:Riemann zeta function (ζ)
8953:shows how every positive
6829:is used to show that the
673:Definition and properties
648:\lceil, \rceil, \lfloor,
259:
243:⌊2.0001+1⌋ = ⌈2.0001⌉ = 3
12839:"R: Rounding of Numbers"
11927:file format, as used by
11708:Computer implementations
9819:approach infinity gives
8358:The number of digits in
6581:is always between 0 and
5327:{\displaystyle m,n>0}
4352:which, for positive and
871:satisfying the equation
145:For example, for floor:
13062:Oxford University Press
12998:J.W.S. Cassels (1957),
11962:Integer-valued function
10692:There is also a number
8969:There are formulas for
8469:The number of possible
8268:{\displaystyle \Delta }
6703:Gauss's third proof of
6468:and a positive integer
159:⌈−2.4⌉ = −2
151:⌊−2.4⌋ = −3
13160:, New York: Springer,
13109:A Programming Language
12446:
12362:
12281:, which has many more.
11886:J Programming Language
11823:
11778:
11758:
11742:arithmetic right-shift
11720:
11688:
11501:
11420:
11302:
11151:
11118:
11064:
11021:
10963:
10870:
10797:
10680:
10583:
10450:
10412:
10346:
10266:
10215:
10124:
9954:
9793:
9745:
9477:
9436:
9221:
9176:
9127:
9059:
8925:is the way of writing
8919:
8863:
8646:
8546:
8455:
8365:of a positive integer
8343:
8269:
8233:
8207:
8153:
8122:
7957:
7867:
7768:
7665:
7642:
7614:
7435:
7293:
7112:argument to show that
7099:
6817:
6765:
6689:
6634:
6564:
6441:
6403:
6329:
6251:
6213:
6134:
6108:
6078:
6050:
6024:
5998:
5956:
5873:
5773:
5699:
5541:
5433:
5328:
5286:
4950:
4710:
4649:
4607:
4531:
4475:
4399:
4343:
4243:
4190:
4066:
3935:
3814:
3682:
3581:
3451:
3314:
3230:
3152:is a positive integer
3139:
3038:
2922:
2753:
2639:
2528:
2411:
2276:
2224:In fact, for integers
2215:
2103:
2051:
1871:
1672:
1515:
1284:
991:
959:
924:
846:
779:
712:
447:A Programming Language
419:
92:less than or equal to
81:that takes as input a
13288:Mathematical notation
12876:Sullivan, p. 86.
12447:
12332:
11957:Bracket (mathematics)
11824:
11779:
11759:
11715:
11689:
11502:
11421:
11303:
11119:
11044:
11001:
10964:
10850:
10798:
10681:
10584:
10451:
10392:
10347:
10246:
10216:
10125:
9955:
9794:
9746:
9478:
9452:Riemann zeta function
9437:
9201:
9177:
9107:
9060:
8920:
8864:
8700:Factors of factorials
8647:
8547:
8456:
8344:
8270:
8234:
8208:
8154:
8123:
7969:rounding towards even
7958:
7868:
7769:
7666:
7643:
7615:
7436:
7294:
7100:
6818:
6766:
6705:quadratic reciprocity
6699:Quadratic reciprocity
6690:
6635:
6565:
6504:≠ 0, by the formula
6442:
6383:
6330:
6252:
6193:
6135:
6133:{\displaystyle \{x\}}
6109:
6086:upper semi-continuous
6079:
6051:
6049:{\displaystyle \{x\}}
6025:
5999:
5957:
5874:
5787:For positive integer
5774:
5708:keeping in mind that
5700:
5542:
5434:
5329:
5287:
4951:
4711:
4623:
4608:
4505:
4476:
4373:
4344:
4217:
4191:
4067:
3936:
3815:
3683:
3582:
3452:
3315:
3231:
3140:
3039:
2923:
2754:
2640:
2529:
2412:
2277:
2216:
2104:
2052:
1872:
1673:
1516:
1301:, that is, part of a
1285:
992:
960:
925:
847:
780:
713:
439:quadratic reciprocity
425:Adrien-Marie Legendre
13077:Nicholas J. Higham,
13036:Concrete Mathematics
12764:"Math (Julia v1.10)"
12329:
12299:Titchmarsh, pp.14–15
12061:Iverson, p. 12.
11788:
11768:
11748:
11744:of a signed integer
11536:
11431:
11313:
11156:
10983:
10832:
10703:
10607:
10466:
10383:
10243:
10149:
10001:
9826:
9758:
9490:
9458:
9192:
9072:
8980:
8965:Euler's constant (γ)
8876:
8730:
8578:
8480:
8376:
8282:
8275:can be expressed as
8259:
8255:equal to some value
8223:
8170:
8132:
7975:
7880:
7778:
7679:
7655:
7632:
7455:
7309:
7119:
6840:
6774:
6722:
6654:
6599:
6511:
6339:
6295:
6155:
6118:
6092:
6062:
6034:
6008:
5982:
5886:
5806:
5712:
5557:
5449:
5341:
5306:
5150:
4999:
4974:
4859:
4755:
4735:
4728:, this implies that
4620:
4502:
4370:
4214:
4099:
4079:
3975:
3955:
3827:
3706:
3661:
3627:
3601:
3490:
3464:
3360:
3334:
3243:
3159:
3074:
2938:
2773:
2655:
2541:
2427:
2292:
2239:
2119:
2072:
1896:
1700:
1535:
1312:
1012:
969:
937:
878:
792:
725:
700:
435:Carl Friedrich Gauss
427:in his proof of the
12853:"Python manual for
12070:Higham, p. 25.
12012:2) Albert A. Blank
11943:both do floor, and
11872:, or less commonly
10039:
9861:
9581:
9544:
9003:
6280:/2, rather than to
5151:
5146:
5000:
4995:
4959:More generally, if
4860:
4855:
4756:
4751:
4100:
4095:
3976:
3971:
3662:
3657:
3628:
3623:
3491:
3486:
3361:
3356:
2113:is an integer, i.e.
1293:In the language of
677:Given real numbers
262:
192:, is also used for
168:is also called the
153:, and for ceiling:
13259:"Ceiling Function"
13256:Weisstein, Eric W.
13237:Weisstein, Eric W.
13173:Michael Sullivan.
12693:docs.microsoft.com
12667:docs.microsoft.com
12637:"C++ reference of
12612:"C++ reference of
12442:
12235:Lemmermeyer, p. 25
12116:(PDF; 379 KB)
11819:
11774:
11754:
11721:
11704:; none are known.
11684:
11649:
11586:
11497:
11416:
11404:
11381:
11354:
11331:
11298:
11289:
11258:
11235:
11204:
11173:
11114:
10959:
10793:
10676:
10579:
10446:
10342:
10211:
10120:
10022:
9950:
9847:
9789:
9741:
9719:
9670:
9609:
9567:
9530:
9514:
9473:
9432:
9419:
9398:
9370:
9355:
9340:
9325:
9302:
9287:
9172:
9096:
9055:
8989:
8915:
8894:
8859:
8834:
8722:Legendre's formula
8642:
8542:
8451:
8339:
8265:
8229:
8203:
8183:
8149:
8118:
8085:
8038:
8011:
7953:
7946:
7863:
7844:
7819:
7764:
7745:
7720:
7661:
7638:
7610:
7608:
7431:
7289:
7095:
7093:
6813:
6793:
6761:
6741:
6685:
6630:
6560:
6437:
6325:
6291:Using the formula
6247:
6130:
6104:
6074:
6046:
6020:
5994:
5952:
5869:
5769:
5695:
5537:
5429:
5324:
5282:
5280:
4946:
4706:
4686:
4603:
4568:
4471:
4436:
4339:
4186:
4062:
3931:
3810:
3697:Hermite's identity
3678:
3577:
3447:
3310:
3226:
3135:
3034:
3032:
2918:
2916:
2749:
2744:
2635:
2630:
2524:
2519:
2407:
2405:
2272:
2211:
2206:
2191:
2164:
2099:
2047:
2045:
1867:
1865:
1668:
1666:
1511:
1509:
1481:
1433:
1385:
1337:
1299:residuated mapping
1280:
1278:
1247:
1184:
1115:
1052:
987:
955:
920:
857:half-open interval
842:
775:
708:
443:Kenneth E. Iverson
429:Legendre's formula
260:
112:. Similarly, the
13283:Special functions
13223:Štefan Porubský,
13149:978-0-8218-2076-6
13071:978-0-19-853171-5
12482:Ribenboim, p. 181
12473:Ribenboim, p. 186
12420:
12385:
12356:
12290:Titchmarsh, p. 13
11777:{\displaystyle n}
11757:{\displaystyle x}
11680:
11648:
11585:
11488:
11460:
11444:
11406:
11403:
11380:
11356:
11353:
11330:
11288:
11257:
11234:
11203:
11172:
11096:
11082:
11042:
10943:
10909:
10322:
10287:
10221:is equal to 1 if
10202:
10167:
9945:
9932:
9904:
9873:
9718:
9669:
9608:
9493:
9418:
9397:
9369:
9354:
9339:
9324:
9301:
9286:
9272:
9162:
9145:
9105:
9081:
9038:
9025:
8955:irrational number
8885:
8857:
8825:
8801:
8773:
8745:
8573:falling factorial
8332:
8319:
8247:one. A typical (
8232:{\displaystyle x}
8182:
8138:
8084:
8037:
8010:
7945:
7886:
7843:
7818:
7784:
7744:
7719:
7685:
7664:{\displaystyle x}
7641:{\displaystyle x}
7595:
7548:
7521:
7474:
7424:
7406:
7342:
7324:
7271:
7239:
7213:
7192:
7160:
7134:
7080:
7048:
7022:
6983:
6956:
6924:
6898:
6859:
6792:
6740:
6551:
6435:
6381:
6368:
6245:
6191:
6178:
5943:
5917:
5863:
5837:
5686:
5649:
5624:
5603:
5578:
5532:
5499:
5470:
5424:
5391:
5362:
5269:
5219:
5187:
5158:
5118:
5068:
5036:
5007:
4937:
4893:
4867:
4833:
4789:
4763:
4685:
4667:
4567:
4549:
4435:
4417:
4334:
4261:
4171:
4142:
4107:
4047:
4018:
3983:
3921:
3878:
3800:
3757:
3669:
3635:
3568:
3527:
3498:
3438:
3397:
3368:
3301:
3266:
3217:
3182:
3130:
3095:
3063:are integers and
2726:
2701:
2612:
2587:
2501:
2473:
2190:
2163:
1480:
1432:
1384:
1336:
1303:Galois connection
1246:
1183:
1124:
1121:
1114:
1051:
1043:
1040:
505:sawtooth function
402:
401:
16:(Redirected from
13300:
13293:Unary operations
13269:
13268:
13250:
13249:
13240:"Floor Function"
13220:
13207:"Floor function"
13195:
13170:
13152:
13140:Collected Papers
13134:
13112:
13074:
13059:
13048:
13030:
13006:
12986:
12985:
12983:
12981:
12971:
12965:
12964:
12962:
12960:
12950:
12944:
12943:
12941:
12939:
12933:"FLOOR function"
12929:
12923:
12922:
12920:
12918:
12908:
12902:
12901:
12899:
12897:
12883:
12877:
12874:
12868:
12867:
12865:
12863:
12856:
12849:
12843:
12842:
12835:
12829:
12828:
12826:
12824:
12817:
12814:"PHP manual for
12810:
12804:
12803:
12801:
12799:
12792:
12789:"PHP manual for
12785:
12779:
12778:
12776:
12774:
12760:
12754:
12753:
12751:
12749:
12735:
12729:
12728:
12726:
12724:
12710:
12704:
12703:
12701:
12699:
12684:
12678:
12677:
12675:
12673:
12658:
12652:
12651:
12649:
12647:
12640:
12633:
12627:
12626:
12624:
12622:
12615:
12608:
12602:
12601:
12576:
12570:
12567:
12561:
12560:
12558:
12540:
12531:
12525:
12518:
12512:
12508:
12502:
12498:
12492:
12489:
12483:
12480:
12474:
12471:
12462:
12459:
12453:
12451:
12449:
12448:
12443:
12435:
12434:
12428:
12427:
12421:
12416:
12405:
12403:
12402:
12393:
12392:
12386:
12378:
12376:
12375:
12369:
12368:
12361:
12357:
12352:
12346:
12315:
12309:
12306:
12300:
12297:
12291:
12288:
12282:
12279:Euler's constant
12275:
12269:
12266:
12260:
12257:
12251:
12246:
12242:
12236:
12233:
12227:
12224:
12218:
12215:
12209:
12206:
12200:
12197:
12191:
12188:
12182:
12179:
12173:
12170:
12164:
12161:
12155:
12152:
12146:
12143:
12137:
12134:
12128:
12127:
12125:
12123:
12117:
12109:
12103:
12100:
12094:
12089:
12083:
12077:
12071:
12068:
12062:
12059:
12053:
12050:
12044:
12041:
12035:
11998:1) Luke Heaton,
11996:
11990:
11987:
11972:Modulo operation
11946:
11942:
11938:
11922:
11918:
11914:
11903:
11895:
11891:
11884:for floor. The
11883:
11875:
11871:
11867:
11828:
11826:
11825:
11820:
11818:
11814:
11813:
11812:
11803:
11783:
11781:
11780:
11775:
11763:
11761:
11760:
11755:
11730:two's complement
11726:ones' complement
11693:
11691:
11690:
11685:
11678:
11671:
11670:
11664:
11663:
11658:
11657:
11650:
11641:
11638:
11637:
11631:
11630:
11621:
11620:
11608:
11607:
11601:
11600:
11595:
11594:
11587:
11578:
11575:
11574:
11568:
11567:
11561:
11560:
11548:
11547:
11520:Waring's problem
11514:Unsolved problem
11506:
11504:
11503:
11498:
11493:
11489:
11475:
11466:
11462:
11461:
11450:
11445:
11440:
11425:
11423:
11422:
11417:
11412:
11408:
11407:
11405:
11396:
11387:
11382:
11373:
11362:
11358:
11357:
11355:
11346:
11337:
11332:
11323:
11307:
11305:
11304:
11299:
11294:
11290:
11284:
11273:
11263:
11259:
11250:
11240:
11236:
11230:
11219:
11209:
11205:
11199:
11188:
11178:
11174:
11165:
11123:
11121:
11120:
11115:
11110:
11109:
11103:
11102:
11098:
11097:
11089:
11087:
11083:
11075:
11063:
11058:
11040:
11039:
11038:
11028:
11027:
11020:
11015:
10968:
10966:
10965:
10960:
10955:
10954:
10948:
10944:
10939:
10919:
10910:
10905:
10879:
10877:
10876:
10869:
10864:
10823:Wilson's theorem
10812:
10802:
10800:
10799:
10794:
10786:
10782:
10781:
10780:
10779:
10778:
10777:
10751:
10747:
10746:
10745:
10744:
10723:
10719:
10718:
10685:
10683:
10682:
10677:
10669:
10665:
10664:
10648:
10644:
10643:
10627:
10623:
10622:
10588:
10586:
10585:
10580:
10575:
10571:
10567:
10566:
10565:
10564:
10533:
10532:
10511:
10507:
10503:
10502:
10501:
10500:
10478:
10477:
10455:
10453:
10452:
10447:
10442:
10441:
10440:
10439:
10422:
10421:
10411:
10406:
10351:
10349:
10348:
10343:
10335:
10331:
10330:
10329:
10323:
10318:
10307:
10305:
10304:
10295:
10294:
10288:
10280:
10278:
10277:
10265:
10260:
10220:
10218:
10217:
10212:
10210:
10209:
10203:
10198:
10187:
10185:
10184:
10175:
10174:
10168:
10160:
10158:
10157:
10129:
10127:
10126:
10121:
10109:
10108:
10087:
10086:
10071:
10070:
10055:
10054:
10038:
10033:
9959:
9957:
9956:
9951:
9946:
9938:
9933:
9931:
9917:
9905:
9903:
9902:
9887:
9874:
9866:
9863:
9860:
9855:
9798:
9796:
9795:
9790:
9788:
9787:
9750:
9748:
9747:
9742:
9725:
9721:
9720:
9711:
9676:
9672:
9671:
9662:
9623:
9615:
9611:
9610:
9601:
9580:
9575:
9543:
9538:
9513:
9482:
9480:
9479:
9474:
9441:
9439:
9438:
9433:
9425:
9421:
9420:
9411:
9399:
9390:
9376:
9372:
9371:
9362:
9356:
9347:
9341:
9332:
9326:
9317:
9303:
9294:
9288:
9279:
9273:
9268:
9264:
9257:
9256:
9242:
9240:
9239:
9220:
9215:
9181:
9179:
9178:
9173:
9168:
9164:
9163:
9155:
9150:
9146:
9138:
9126:
9121:
9106:
9098:
9095:
9064:
9062:
9061:
9056:
9044:
9040:
9039:
9031:
9026:
9024:
9010:
9002:
8997:
8971:Euler's constant
8924:
8922:
8921:
8916:
8914:
8913:
8904:
8903:
8893:
8868:
8866:
8865:
8860:
8858:
8856:
8845:
8844:
8843:
8833:
8817:
8806:
8802:
8800:
8799:
8787:
8778:
8774:
8772:
8771:
8759:
8750:
8746:
8738:
8695:
8682:
8675:
8665:
8657:
8651:
8649:
8648:
8643:
8596:
8595:
8563:
8551:
8549:
8548:
8543:
8523:
8522:
8498:
8497:
8460:
8458:
8457:
8452:
8444:
8424:
8423:
8399:
8391:
8390:
8354:Number of digits
8348:
8346:
8345:
8340:
8338:
8334:
8333:
8325:
8320:
8312:
8274:
8272:
8271:
8266:
8238:
8236:
8235:
8230:
8212:
8210:
8209:
8204:
8184:
8175:
8158:
8156:
8155:
8150:
8139:
8136:
8127:
8125:
8124:
8119:
8111:
8110:
8086:
8077:
8074:
8073:
8064:
8063:
8039:
8030:
8027:
8026:
8017:
8013:
8012:
8003:
7962:
7960:
7959:
7954:
7952:
7948:
7947:
7938:
7932:
7924:
7887:
7884:
7872:
7870:
7869:
7864:
7862:
7858:
7845:
7836:
7825:
7821:
7820:
7811:
7785:
7782:
7773:
7771:
7770:
7765:
7763:
7759:
7746:
7737:
7726:
7722:
7721:
7712:
7686:
7683:
7670:
7668:
7667:
7662:
7647:
7645:
7644:
7639:
7619:
7617:
7616:
7611:
7609:
7602:
7601:
7600:
7596:
7591:
7580:
7553:
7549:
7541:
7528:
7527:
7526:
7522:
7517:
7506:
7479:
7475:
7467:
7440:
7438:
7437:
7432:
7427:
7426:
7425:
7420:
7409:
7407:
7402:
7391:
7372:
7371:
7347:
7343:
7335:
7329:
7325:
7317:
7298:
7296:
7295:
7290:
7276:
7272:
7267:
7259:
7244:
7240:
7235:
7227:
7218:
7214:
7206:
7197:
7193:
7188:
7180:
7165:
7161:
7156:
7148:
7139:
7135:
7127:
7104:
7102:
7101:
7096:
7094:
7087:
7086:
7085:
7081:
7076:
7068:
7053:
7049:
7044:
7036:
7027:
7023:
7015:
6988:
6984:
6976:
6963:
6962:
6961:
6957:
6952:
6944:
6929:
6925:
6920:
6912:
6903:
6899:
6891:
6864:
6860:
6852:
6831:Legendre symbols
6822:
6820:
6819:
6814:
6794:
6785:
6770:
6768:
6767:
6762:
6742:
6733:
6694:
6692:
6691:
6686:
6675:
6674:
6639:
6637:
6636:
6631:
6620:
6619:
6569:
6567:
6566:
6561:
6556:
6552:
6544:
6526:
6525:
6474:modulo operation
6451:not an integer.
6450:
6446:
6444:
6443:
6438:
6436:
6431:
6405:
6402:
6397:
6382:
6374:
6369:
6361:
6334:
6332:
6331:
6326:
6261:not an integer.
6260:
6256:
6254:
6253:
6248:
6246:
6241:
6215:
6212:
6207:
6192:
6184:
6179:
6171:
6139:
6137:
6136:
6131:
6113:
6111:
6110:
6105:
6083:
6081:
6080:
6075:
6055:
6053:
6052:
6047:
6029:
6027:
6026:
6021:
6003:
6001:
6000:
5995:
5978:: the functions
5976:piecewise linear
5961:
5959:
5958:
5953:
5948:
5944:
5942:
5931:
5922:
5918:
5913:
5906:
5894:
5878:
5876:
5875:
5870:
5868:
5864:
5862:
5851:
5842:
5838:
5833:
5826:
5814:
5783:Nested divisions
5778:
5776:
5775:
5770:
5765:
5764:
5755:
5741:
5740:
5725:
5704:
5702:
5701:
5696:
5691:
5687:
5679:
5654:
5650:
5642:
5625:
5617:
5604:
5596:
5583:
5579:
5571:
5546:
5544:
5543:
5538:
5533:
5528:
5517:
5504:
5500:
5492:
5475:
5471:
5463:
5438:
5436:
5435:
5430:
5425:
5420:
5409:
5396:
5392:
5384:
5367:
5363:
5355:
5333:
5331:
5330:
5325:
5291:
5289:
5288:
5283:
5281:
5274:
5270:
5265:
5239:
5224:
5220:
5215:
5201:
5192:
5188:
5183:
5172:
5163:
5159:
5154:
5153:
5152:
5138:
5123:
5119:
5114:
5088:
5073:
5069:
5064:
5050:
5041:
5037:
5032:
5021:
5012:
5008:
5003:
5002:
5001:
4987:
4980:
4955:
4953:
4952:
4947:
4942:
4938:
4933:
4913:
4898:
4894:
4889:
4881:
4872:
4868:
4863:
4862:
4861:
4847:
4838:
4834:
4829:
4809:
4794:
4790:
4785:
4777:
4768:
4764:
4759:
4758:
4757:
4743:
4715:
4713:
4712:
4707:
4687:
4678:
4672:
4668:
4663:
4655:
4648:
4637:
4612:
4610:
4609:
4604:
4569:
4560:
4554:
4550:
4545:
4537:
4530:
4519:
4480:
4478:
4477:
4472:
4437:
4428:
4422:
4418:
4413:
4405:
4398:
4387:
4348:
4346:
4345:
4340:
4335:
4330:
4271:
4266:
4262:
4257:
4249:
4242:
4231:
4195:
4193:
4192:
4187:
4176:
4172:
4167:
4156:
4147:
4143:
4138:
4121:
4112:
4108:
4103:
4102:
4101:
4087:
4071:
4069:
4068:
4063:
4052:
4048:
4043:
4032:
4023:
4019:
4014:
3997:
3988:
3984:
3979:
3978:
3977:
3963:
3940:
3938:
3937:
3932:
3927:
3923:
3922:
3917:
3906:
3884:
3880:
3879:
3871:
3855:
3819:
3817:
3816:
3811:
3806:
3802:
3801:
3796:
3785:
3763:
3759:
3758:
3750:
3734:
3687:
3685:
3684:
3679:
3674:
3670:
3665:
3664:
3663:
3649:
3640:
3636:
3631:
3630:
3629:
3615:
3594:= 2 these imply
3586:
3584:
3583:
3578:
3573:
3569:
3564:
3547:
3532:
3528:
3523:
3512:
3503:
3499:
3494:
3493:
3492:
3478:
3456:
3454:
3453:
3448:
3443:
3439:
3434:
3417:
3402:
3398:
3393:
3382:
3373:
3369:
3364:
3363:
3362:
3348:
3319:
3317:
3316:
3311:
3306:
3302:
3297:
3280:
3271:
3267:
3262:
3251:
3235:
3233:
3232:
3227:
3222:
3218:
3213:
3196:
3187:
3183:
3178:
3167:
3144:
3142:
3141:
3136:
3131:
3129:
3128:
3120:
3111:
3100:
3096:
3088:
3043:
3041:
3040:
3035:
3033:
3013:
3012:
2997:
2996:
2967:
2966:
2951:
2950:
2927:
2925:
2924:
2919:
2917:
2894:
2893:
2878:
2877:
2848:
2847:
2832:
2831:
2802:
2801:
2786:
2785:
2758:
2756:
2755:
2750:
2748:
2747:
2738:
2727:
2724:
2713:
2702:
2699:
2644:
2642:
2641:
2636:
2634:
2633:
2624:
2613:
2610:
2599:
2588:
2585:
2533:
2531:
2530:
2525:
2523:
2522:
2513:
2502:
2499:
2485:
2474:
2471:
2416:
2414:
2413:
2408:
2406:
2281:
2279:
2278:
2273:
2220:
2218:
2217:
2212:
2210:
2209:
2203:
2192:
2188:
2176:
2165:
2161:
2108:
2106:
2105:
2100:
2056:
2054:
2053:
2048:
2046:
2036:
2035:
2017:
2016:
1997:
1996:
1984:
1983:
1964:
1963:
1945:
1944:
1925:
1924:
1912:
1911:
1876:
1874:
1873:
1868:
1866:
1692:
1688:
1684:
1677:
1675:
1674:
1669:
1667:
1527:
1520:
1518:
1517:
1512:
1510:
1482:
1478:
1434:
1430:
1386:
1382:
1338:
1334:
1289:
1287:
1286:
1281:
1279:
1248:
1244:
1240:
1185:
1181:
1177:
1122:
1119:
1116:
1112:
1108:
1053:
1049:
1045:
1041:
1038:
996:
994:
993:
988:
964:
962:
961:
956:
929:
927:
926:
921:
851:
849:
848:
843:
823:
784:
782:
781:
776:
756:
717:
715:
714:
709:
707:
668:
667:
662:
661:
656:
655:
650:
649:
636:
632:
629:
626:
624:
617:
613:
610:
607:
605:
598:
594:
591:
588:
586:
579:
575:
572:
569:
567:
555:
537:
518:
514:
495:
487:
479:
464:
456:
422:
300:
288:
278:
263:
256:
252:
248:
244:
240:
236:
228:
217:
202:
187:
178:greatest integer
167:
160:
156:
152:
148:
141:
133:
125:
119:
114:ceiling function
111:
103:
95:
87:
62:Ceiling function
59:
45:
21:
18:Ceiling function
13308:
13307:
13303:
13302:
13301:
13299:
13298:
13297:
13273:
13272:
13205:
13202:
13193:
13168:
13150:
13132:
13072:
13046:
13028:
12994:
12989:
12979:
12977:
12973:
12972:
12968:
12958:
12956:
12952:
12951:
12947:
12937:
12935:
12931:
12930:
12926:
12916:
12914:
12910:
12909:
12905:
12895:
12893:
12885:
12884:
12880:
12875:
12871:
12861:
12859:
12854:
12851:
12850:
12846:
12837:
12836:
12832:
12822:
12820:
12815:
12812:
12811:
12807:
12797:
12795:
12790:
12787:
12786:
12782:
12772:
12770:
12762:
12761:
12757:
12747:
12745:
12743:docs.oracle.com
12737:
12736:
12732:
12722:
12720:
12718:docs.oracle.com
12712:
12711:
12707:
12697:
12695:
12685:
12681:
12671:
12669:
12659:
12655:
12645:
12643:
12638:
12635:
12634:
12630:
12620:
12618:
12613:
12610:
12609:
12605:
12577:
12573:
12568:
12564:
12538:
12532:
12528:
12519:
12515:
12509:
12505:
12499:
12495:
12490:
12486:
12481:
12477:
12472:
12465:
12460:
12456:
12430:
12429:
12423:
12422:
12406:
12404:
12398:
12397:
12388:
12387:
12377:
12371:
12370:
12364:
12363:
12351:
12347:
12336:
12330:
12327:
12326:
12316:
12312:
12307:
12303:
12298:
12294:
12289:
12285:
12276:
12272:
12267:
12263:
12258:
12254:
12250:(See Formulas.)
12243:
12239:
12234:
12230:
12225:
12221:
12216:
12212:
12207:
12203:
12198:
12194:
12189:
12185:
12180:
12176:
12171:
12167:
12162:
12158:
12153:
12149:
12144:
12140:
12135:
12131:
12121:
12119:
12115:
12111:
12110:
12106:
12101:
12097:
12090:
12086:
12078:
12074:
12069:
12065:
12060:
12056:
12051:
12047:
12042:
12038:
12021:
12020:, 1968, p. 259
12011:
11997:
11993:
11988:
11984:
11980:
11953:
11944:
11940:
11936:
11920:
11916:
11912:
11909:Microsoft Excel
11901:
11893:
11889:
11881:
11876:. The language
11873:
11869:
11865:
11808:
11804:
11799:
11795:
11791:
11789:
11786:
11785:
11784:is the same as
11769:
11766:
11765:
11749:
11746:
11745:
11710:
11666:
11665:
11659:
11653:
11652:
11651:
11639:
11633:
11632:
11626:
11625:
11616:
11612:
11603:
11602:
11596:
11590:
11589:
11588:
11576:
11570:
11569:
11563:
11562:
11556:
11552:
11543:
11539:
11537:
11534:
11533:
11516:
11474:
11470:
11449:
11439:
11438:
11434:
11432:
11429:
11428:
11394:
11386:
11371:
11370:
11366:
11344:
11336:
11321:
11320:
11316:
11314:
11311:
11310:
11274:
11271:
11267:
11248:
11244:
11220:
11217:
11213:
11189:
11186:
11182:
11163:
11159:
11157:
11154:
11153:
11133:
11131:Solved problems
11105:
11104:
11088:
11074:
11070:
11069:
11065:
11059:
11048:
11043:
11034:
11033:
11023:
11022:
11016:
11005:
10984:
10981:
10980:
10950:
10949:
10920:
10918:
10914:
10880:
10878:
10872:
10871:
10865:
10854:
10833:
10830:
10829:
10810:
10806:are all prime.
10773:
10769:
10768:
10764:
10763:
10759:
10755:
10740:
10736:
10735:
10731:
10727:
10714:
10710:
10706:
10704:
10701:
10700:
10689:are all prime.
10660:
10656:
10652:
10639:
10635:
10631:
10618:
10614:
10610:
10608:
10605:
10604:
10598:Mills' constant
10560:
10556:
10543:
10539:
10538:
10534:
10519:
10515:
10496:
10492:
10491:
10487:
10486:
10482:
10473:
10469:
10467:
10464:
10463:
10435:
10431:
10427:
10423:
10417:
10413:
10407:
10396:
10384:
10381:
10380:
10363:
10325:
10324:
10308:
10306:
10300:
10299:
10290:
10289:
10279:
10273:
10272:
10271:
10267:
10261:
10250:
10244:
10241:
10240:
10205:
10204:
10188:
10186:
10180:
10179:
10170:
10169:
10159:
10153:
10152:
10150:
10147:
10146:
10143:
10095:
10091:
10082:
10078:
10066:
10062:
10044:
10040:
10034:
10026:
10002:
9999:
9998:
9937:
9921:
9916:
9892:
9888:
9865:
9864:
9862:
9856:
9851:
9827:
9824:
9823:
9780:
9776:
9759:
9756:
9755:
9709:
9696:
9692:
9660:
9647:
9643:
9616:
9599:
9586:
9582:
9576:
9571:
9539:
9534:
9497:
9491:
9488:
9487:
9459:
9456:
9455:
9448:
9409:
9388:
9387:
9383:
9360:
9345:
9330:
9315:
9314:
9310:
9292:
9277:
9252:
9248:
9247:
9243:
9241:
9235:
9231:
9216:
9205:
9193:
9190:
9189:
9154:
9137:
9133:
9132:
9128:
9122:
9111:
9097:
9085:
9073:
9070:
9069:
9030:
9014:
9009:
9008:
9004:
8998:
8993:
8981:
8978:
8977:
8967:
8959:natural numbers
8951:Beatty sequence
8947:
8945:Beatty sequence
8909:
8905:
8899:
8895:
8889:
8877:
8874:
8873:
8846:
8839:
8835:
8829:
8818:
8816:
8795:
8791:
8786:
8782:
8767:
8763:
8758:
8754:
8737:
8733:
8731:
8728:
8727:
8702:
8691:
8678:
8671:
8661:
8653:
8591:
8587:
8579:
8576:
8575:
8559:
8518:
8514:
8493:
8489:
8481:
8478:
8477:
8467:
8428:
8419:
8415:
8395:
8386:
8382:
8377:
8374:
8373:
8356:
8324:
8311:
8310:
8306:
8283:
8280:
8279:
8260:
8257:
8256:
8224:
8221:
8220:
8173:
8171:
8168:
8167:
8135:
8133:
8130:
8129:
8106:
8105:
8075:
8069:
8068:
8059:
8058:
8028:
8022:
8021:
8001:
7994:
7990:
7976:
7973:
7972:
7936:
7928:
7920:
7919:
7915:
7883:
7881:
7878:
7877:
7834:
7833:
7829:
7809:
7802:
7798:
7781:
7779:
7776:
7775:
7735:
7734:
7730:
7710:
7703:
7699:
7682:
7680:
7677:
7676:
7656:
7653:
7652:
7633:
7630:
7629:
7626:
7607:
7606:
7581:
7579:
7575:
7574:
7570:
7554:
7540:
7536:
7533:
7532:
7507:
7505:
7501:
7500:
7496:
7480:
7466:
7462:
7458:
7456:
7453:
7452:
7410:
7408:
7392:
7390:
7389:
7385:
7364:
7360:
7334:
7330:
7316:
7312:
7310:
7307:
7306:
7260:
7258:
7254:
7228:
7226:
7222:
7205:
7201:
7181:
7179:
7175:
7149:
7147:
7143:
7126:
7122:
7120:
7117:
7116:
7092:
7091:
7069:
7067:
7063:
7037:
7035:
7031:
7014:
7010:
7009:
7005:
6989:
6975:
6971:
6968:
6967:
6945:
6943:
6939:
6913:
6911:
6907:
6890:
6886:
6885:
6881:
6865:
6851:
6847:
6843:
6841:
6838:
6837:
6783:
6775:
6772:
6771:
6731:
6723:
6720:
6719:
6701:
6670:
6666:
6655:
6652:
6651:
6615:
6611:
6600:
6597:
6596:
6543:
6539:
6521:
6517:
6512:
6509:
6508:
6464:For an integer
6462:
6457:
6448:
6406:
6404:
6398:
6387:
6373:
6360:
6340:
6337:
6336:
6296:
6293:
6292:
6284: mod
6258:
6216:
6214:
6208:
6197:
6183:
6170:
6156:
6153:
6152:
6119:
6116:
6115:
6093:
6090:
6089:
6063:
6060:
6059:
6035:
6032:
6031:
6009:
6006:
6005:
5983:
5980:
5979:
5968:
5935:
5930:
5926:
5902:
5895:
5893:
5889:
5887:
5884:
5883:
5855:
5850:
5846:
5822:
5815:
5813:
5809:
5807:
5804:
5803:
5785:
5760:
5759:
5751:
5736:
5735:
5721:
5713:
5710:
5709:
5678:
5674:
5641:
5637:
5616:
5595:
5570:
5566:
5558:
5555:
5554:
5518:
5516:
5491:
5487:
5462:
5458:
5450:
5447:
5446:
5410:
5408:
5383:
5379:
5354:
5350:
5342:
5339:
5338:
5307:
5304:
5303:
5297:reciprocity law
5279:
5278:
5240:
5238:
5234:
5202:
5200:
5196:
5173:
5171:
5167:
5144:
5143:
5139:
5137:
5133:
5131:
5125:
5124:
5089:
5087:
5083:
5051:
5049:
5045:
5022:
5020:
5016:
4993:
4992:
4988:
4986:
4982:
4977:
4975:
4972:
4971:
4914:
4912:
4908:
4882:
4880:
4876:
4853:
4852:
4848:
4846:
4842:
4810:
4808:
4804:
4778:
4776:
4772:
4749:
4748:
4744:
4742:
4738:
4736:
4733:
4732:
4719:
4676:
4656:
4654:
4650:
4638:
4627:
4621:
4618:
4617:
4558:
4538:
4536:
4532:
4520:
4509:
4503:
4500:
4499:
4426:
4406:
4404:
4400:
4388:
4377:
4371:
4368:
4367:
4272:
4270:
4250:
4248:
4244:
4232:
4221:
4215:
4212:
4211:
4157:
4155:
4151:
4122:
4120:
4116:
4093:
4092:
4088:
4086:
4082:
4080:
4077:
4076:
4033:
4031:
4027:
3998:
3996:
3992:
3969:
3968:
3964:
3962:
3958:
3956:
3953:
3952:
3907:
3905:
3898:
3894:
3870:
3863:
3859:
3845:
3828:
3825:
3824:
3786:
3784:
3777:
3773:
3749:
3742:
3738:
3724:
3707:
3704:
3703:
3655:
3654:
3650:
3648:
3644:
3621:
3620:
3616:
3614:
3610:
3602:
3599:
3598:
3548:
3546:
3542:
3513:
3511:
3507:
3484:
3483:
3479:
3477:
3473:
3465:
3462:
3461:
3418:
3416:
3412:
3383:
3381:
3377:
3354:
3353:
3349:
3347:
3343:
3335:
3332:
3331:
3281:
3279:
3275:
3252:
3250:
3246:
3244:
3241:
3240:
3197:
3195:
3191:
3168:
3166:
3162:
3160:
3157:
3156:
3124:
3116:
3115:
3110:
3087:
3083:
3075:
3072:
3071:
3053:
3031:
3030:
3014:
3008:
3007:
2992:
2991:
2988:
2987:
2968:
2962:
2961:
2946:
2945:
2941:
2939:
2936:
2935:
2915:
2914:
2895:
2889:
2888:
2873:
2872:
2869:
2868:
2849:
2843:
2842:
2827:
2826:
2823:
2822:
2803:
2797:
2796:
2781:
2780:
2776:
2774:
2771:
2770:
2743:
2742:
2734:
2723:
2721:
2715:
2714:
2709:
2698:
2696:
2686:
2685:
2656:
2653:
2652:
2629:
2628:
2620:
2609:
2607:
2601:
2600:
2595:
2584:
2582:
2572:
2571:
2542:
2539:
2538:
2518:
2517:
2509:
2498:
2496:
2487:
2486:
2481:
2470:
2468:
2458:
2457:
2428:
2425:
2424:
2404:
2403:
2384:
2369:
2368:
2349:
2334:
2333:
2323:
2295:
2293:
2290:
2289:
2240:
2237:
2236:
2205:
2204:
2199:
2186:
2184:
2178:
2177:
2172:
2159:
2157:
2147:
2146:
2120:
2117:
2116:
2073:
2070:
2069:
2063:
2044:
2043:
2031:
2027:
2012:
2008:
1998:
1992:
1988:
1979:
1975:
1972:
1971:
1959:
1955:
1940:
1936:
1926:
1920:
1916:
1907:
1903:
1899:
1897:
1894:
1893:
1883:
1864:
1863:
1814:
1784:
1783:
1728:
1703:
1701:
1698:
1697:
1690:
1686:
1682:
1665:
1664:
1645:
1627:
1626:
1601:
1583:
1582:
1557:
1538:
1536:
1533:
1532:
1525:
1508:
1507:
1488:
1483:
1476:
1472:
1460:
1459:
1446:
1435:
1428:
1424:
1412:
1411:
1392:
1387:
1380:
1376:
1364:
1363:
1350:
1339:
1332:
1328:
1315:
1313:
1310:
1309:
1277:
1276:
1254:
1249:
1242:
1239:
1229:
1217:
1216:
1197:
1186:
1179:
1176:
1166:
1154:
1153:
1134:
1117:
1110:
1107:
1097:
1085:
1084:
1059:
1054:
1047:
1044:
1028:
1015:
1013:
1010:
1009:
1003:
970:
967:
966:
938:
935:
934:
879:
876:
875:
819:
793:
790:
789:
752:
726:
723:
722:
703:
701:
698:
697:
693:and the set of
675:
665:
664:
659:
658:
653:
652:
647:
646:
634:
630:
627:
622:
621:
615:
611:
608:
603:
602:
596:
592:
589:
584:
583:
577:
573:
570:
565:
564:
549:
523:
516:
508:
501:fractional part
489:
481:
473:
467:Iverson bracket
458:
450:
407:
294:
292:Fractional part
282:
272:
254:
250:
246:
242:
238:
230:
222:
204:
200:
185:
165:
158:
154:
150:
146:
135:
127:
121:
117:
105:
97:
93:
85:
67:
66:
65:
64:
63:
60:
51:
50:
49:
46:
37:
36:
28:
23:
22:
15:
12:
11:
5:
13306:
13296:
13295:
13290:
13285:
13271:
13270:
13251:
13232:
13221:
13201:
13200:External links
13198:
13197:
13196:
13191:
13178:
13171:
13166:
13153:
13148:
13135:
13130:
13113:
13104:
13090:
13075:
13070:
13049:
13044:
13031:
13026:
13007:
12993:
12990:
12988:
12987:
12966:
12945:
12924:
12912:"INT function"
12903:
12878:
12869:
12844:
12830:
12805:
12780:
12755:
12730:
12705:
12679:
12653:
12628:
12603:
12592:(2): 122–124.
12571:
12562:
12526:
12513:
12503:
12493:
12484:
12475:
12463:
12454:
12441:
12438:
12433:
12426:
12419:
12415:
12412:
12409:
12401:
12396:
12391:
12384:
12381:
12374:
12367:
12360:
12355:
12350:
12345:
12342:
12339:
12335:
12310:
12301:
12292:
12283:
12270:
12261:
12252:
12237:
12228:
12219:
12210:
12201:
12192:
12183:
12174:
12165:
12156:
12147:
12138:
12129:
12104:
12095:
12084:
12072:
12063:
12054:
12045:
12036:
11991:
11981:
11979:
11976:
11975:
11974:
11969:
11964:
11959:
11952:
11949:
11929:OpenOffice.org
11892:for floor and
11817:
11811:
11807:
11802:
11798:
11794:
11773:
11753:
11709:
11706:
11695:
11694:
11683:
11677:
11674:
11669:
11662:
11656:
11647:
11644:
11636:
11629:
11624:
11619:
11615:
11611:
11606:
11599:
11593:
11584:
11581:
11573:
11566:
11559:
11555:
11551:
11546:
11542:
11529:≥ 6 such that
11515:
11512:
11508:
11507:
11496:
11492:
11487:
11484:
11481:
11478:
11473:
11469:
11465:
11459:
11456:
11453:
11448:
11443:
11437:
11426:
11415:
11411:
11402:
11399:
11393:
11390:
11385:
11379:
11376:
11369:
11365:
11361:
11352:
11349:
11343:
11340:
11335:
11329:
11326:
11319:
11308:
11297:
11293:
11287:
11283:
11280:
11277:
11270:
11266:
11262:
11256:
11253:
11247:
11243:
11239:
11233:
11229:
11226:
11223:
11216:
11212:
11208:
11202:
11198:
11195:
11192:
11185:
11181:
11177:
11171:
11168:
11162:
11132:
11129:
11125:
11124:
11113:
11108:
11101:
11095:
11092:
11086:
11081:
11078:
11073:
11068:
11062:
11057:
11054:
11051:
11047:
11037:
11031:
11026:
11019:
11014:
11011:
11008:
11004:
11000:
10997:
10994:
10991:
10988:
10970:
10969:
10958:
10953:
10947:
10942:
10938:
10935:
10932:
10929:
10926:
10923:
10917:
10913:
10908:
10904:
10901:
10898:
10895:
10892:
10889:
10886:
10883:
10875:
10868:
10863:
10860:
10857:
10853:
10849:
10846:
10843:
10840:
10837:
10804:
10803:
10792:
10789:
10785:
10776:
10772:
10767:
10762:
10758:
10754:
10750:
10743:
10739:
10734:
10730:
10726:
10722:
10717:
10713:
10709:
10687:
10686:
10675:
10672:
10668:
10663:
10659:
10655:
10651:
10647:
10642:
10638:
10634:
10630:
10626:
10621:
10617:
10613:
10590:
10589:
10578:
10574:
10570:
10563:
10559:
10555:
10552:
10549:
10546:
10542:
10537:
10531:
10528:
10525:
10522:
10518:
10514:
10510:
10506:
10499:
10495:
10490:
10485:
10481:
10476:
10472:
10457:
10456:
10445:
10438:
10434:
10430:
10426:
10420:
10416:
10410:
10405:
10402:
10399:
10395:
10391:
10388:
10359:
10353:
10352:
10341:
10338:
10334:
10328:
10321:
10317:
10314:
10311:
10303:
10298:
10293:
10286:
10283:
10276:
10270:
10264:
10259:
10256:
10253:
10249:
10235:if and only if
10208:
10201:
10197:
10194:
10191:
10183:
10178:
10173:
10166:
10163:
10156:
10142:
10139:
10131:
10130:
10119:
10116:
10113:
10107:
10104:
10101:
10098:
10094:
10090:
10085:
10081:
10077:
10074:
10069:
10065:
10061:
10058:
10053:
10050:
10047:
10043:
10037:
10032:
10029:
10025:
10021:
10018:
10015:
10012:
10009:
10006:
9961:
9960:
9949:
9944:
9941:
9936:
9930:
9927:
9924:
9920:
9915:
9912:
9909:
9901:
9898:
9895:
9891:
9886:
9883:
9880:
9877:
9872:
9869:
9859:
9854:
9850:
9846:
9843:
9840:
9837:
9834:
9831:
9786:
9783:
9779:
9775:
9772:
9769:
9766:
9763:
9752:
9751:
9740:
9737:
9734:
9731:
9728:
9724:
9717:
9714:
9708:
9705:
9702:
9699:
9695:
9691:
9688:
9685:
9682:
9679:
9675:
9668:
9665:
9659:
9656:
9653:
9650:
9646:
9642:
9639:
9636:
9632:
9629:
9626:
9622:
9619:
9614:
9607:
9604:
9598:
9595:
9592:
9589:
9585:
9579:
9574:
9570:
9566:
9563:
9560:
9556:
9553:
9550:
9547:
9542:
9537:
9533:
9529:
9526:
9523:
9520:
9517:
9512:
9509:
9506:
9503:
9500:
9496:
9472:
9469:
9466:
9463:
9447:
9444:
9443:
9442:
9431:
9428:
9424:
9417:
9414:
9408:
9405:
9402:
9396:
9393:
9386:
9382:
9379:
9375:
9368:
9365:
9359:
9353:
9350:
9344:
9338:
9335:
9329:
9323:
9320:
9313:
9309:
9306:
9300:
9297:
9291:
9285:
9282:
9276:
9271:
9267:
9263:
9260:
9255:
9251:
9246:
9238:
9234:
9230:
9227:
9224:
9219:
9214:
9211:
9208:
9204:
9200:
9197:
9183:
9182:
9171:
9167:
9161:
9158:
9153:
9149:
9144:
9141:
9136:
9131:
9125:
9120:
9117:
9114:
9110:
9104:
9101:
9094:
9091:
9088:
9084:
9080:
9077:
9066:
9065:
9054:
9051:
9048:
9043:
9037:
9034:
9029:
9023:
9020:
9017:
9013:
9007:
9001:
8996:
8992:
8988:
8985:
8966:
8963:
8946:
8943:
8912:
8908:
8902:
8898:
8892:
8888:
8884:
8881:
8870:
8869:
8855:
8852:
8849:
8842:
8838:
8832:
8828:
8824:
8821:
8815:
8812:
8809:
8805:
8798:
8794:
8790:
8785:
8781:
8777:
8770:
8766:
8762:
8757:
8753:
8749:
8744:
8741:
8736:
8701:
8698:
8688:
8687:
8685:Euler's number
8683:= 2.718... is
8676:
8666:! denotes the
8659:
8641:
8638:
8635:
8632:
8629:
8626:
8623:
8620:
8617:
8614:
8611:
8608:
8605:
8602:
8599:
8594:
8590:
8586:
8583:
8569:
8553:
8552:
8541:
8538:
8535:
8532:
8529:
8526:
8521:
8517:
8513:
8510:
8507:
8504:
8501:
8496:
8492:
8488:
8485:
8466:
8463:
8462:
8461:
8450:
8447:
8443:
8440:
8437:
8434:
8431:
8427:
8422:
8418:
8414:
8411:
8408:
8405:
8402:
8398:
8394:
8389:
8385:
8381:
8355:
8352:
8351:
8350:
8337:
8331:
8328:
8323:
8318:
8315:
8309:
8305:
8302:
8299:
8296:
8293:
8290:
8287:
8264:
8228:
8202:
8199:
8196:
8193:
8190:
8187:
8181:
8178:
8148:
8145:
8142:
8117:
8114:
8109:
8104:
8101:
8098:
8095:
8092:
8089:
8083:
8080:
8072:
8067:
8062:
8057:
8054:
8051:
8048:
8045:
8042:
8036:
8033:
8025:
8020:
8016:
8009:
8006:
8000:
7997:
7993:
7989:
7986:
7983:
7980:
7951:
7944:
7941:
7935:
7931:
7927:
7923:
7918:
7914:
7911:
7908:
7905:
7902:
7899:
7896:
7893:
7890:
7861:
7857:
7854:
7851:
7848:
7842:
7839:
7832:
7828:
7824:
7817:
7814:
7808:
7805:
7801:
7797:
7794:
7791:
7788:
7762:
7758:
7755:
7752:
7749:
7743:
7740:
7733:
7729:
7725:
7718:
7715:
7709:
7706:
7702:
7698:
7695:
7692:
7689:
7660:
7637:
7625:
7622:
7621:
7620:
7605:
7599:
7594:
7590:
7587:
7584:
7578:
7573:
7569:
7566:
7563:
7560:
7557:
7555:
7552:
7547:
7544:
7539:
7535:
7534:
7531:
7525:
7520:
7516:
7513:
7510:
7504:
7499:
7495:
7492:
7489:
7486:
7483:
7481:
7478:
7473:
7470:
7465:
7461:
7460:
7442:
7441:
7430:
7423:
7419:
7416:
7413:
7405:
7401:
7398:
7395:
7388:
7384:
7381:
7378:
7375:
7370:
7367:
7363:
7359:
7356:
7353:
7350:
7346:
7341:
7338:
7333:
7328:
7323:
7320:
7315:
7300:
7299:
7288:
7285:
7282:
7279:
7275:
7270:
7266:
7263:
7257:
7253:
7250:
7247:
7243:
7238:
7234:
7231:
7225:
7221:
7217:
7212:
7209:
7204:
7200:
7196:
7191:
7187:
7184:
7178:
7174:
7171:
7168:
7164:
7159:
7155:
7152:
7146:
7142:
7138:
7133:
7130:
7125:
7106:
7105:
7090:
7084:
7079:
7075:
7072:
7066:
7062:
7059:
7056:
7052:
7047:
7043:
7040:
7034:
7030:
7026:
7021:
7018:
7013:
7008:
7004:
7001:
6998:
6995:
6992:
6990:
6987:
6982:
6979:
6974:
6970:
6969:
6966:
6960:
6955:
6951:
6948:
6942:
6938:
6935:
6932:
6928:
6923:
6919:
6916:
6910:
6906:
6902:
6897:
6894:
6889:
6884:
6880:
6877:
6874:
6871:
6868:
6866:
6863:
6858:
6855:
6850:
6846:
6845:
6812:
6809:
6806:
6803:
6800:
6797:
6791:
6788:
6782:
6779:
6760:
6757:
6754:
6751:
6748:
6745:
6739:
6736:
6730:
6727:
6700:
6697:
6696:
6695:
6684:
6681:
6678:
6673:
6669:
6665:
6662:
6659:
6641:
6640:
6629:
6626:
6623:
6618:
6614:
6610:
6607:
6604:
6571:
6570:
6559:
6555:
6550:
6547:
6542:
6538:
6535:
6532:
6529:
6524:
6520:
6516:
6488:is divided by
6461:
6458:
6456:
6453:
6434:
6430:
6427:
6424:
6421:
6418:
6415:
6412:
6409:
6401:
6396:
6393:
6390:
6386:
6380:
6377:
6372:
6367:
6364:
6359:
6356:
6353:
6350:
6347:
6344:
6324:
6321:
6318:
6315:
6312:
6309:
6306:
6303:
6300:
6272:a multiple of
6244:
6240:
6237:
6234:
6231:
6228:
6225:
6222:
6219:
6211:
6206:
6203:
6200:
6196:
6190:
6187:
6182:
6177:
6174:
6169:
6166:
6163:
6160:
6149:Fourier series
6129:
6126:
6123:
6103:
6100:
6097:
6073:
6070:
6067:
6045:
6042:
6039:
6019:
6016:
6013:
5993:
5990:
5987:
5974:, but all are
5967:
5964:
5963:
5962:
5951:
5947:
5941:
5938:
5934:
5929:
5925:
5921:
5916:
5912:
5909:
5905:
5901:
5898:
5892:
5880:
5879:
5867:
5861:
5858:
5854:
5849:
5845:
5841:
5836:
5832:
5829:
5825:
5821:
5818:
5812:
5784:
5781:
5768:
5763:
5758:
5754:
5750:
5747:
5744:
5739:
5734:
5731:
5728:
5724:
5720:
5717:
5706:
5705:
5694:
5690:
5685:
5682:
5677:
5673:
5670:
5666:
5662:
5658:
5653:
5648:
5645:
5640:
5636:
5633:
5629:
5623:
5620:
5615:
5612:
5608:
5602:
5599:
5594:
5591:
5587:
5582:
5577:
5574:
5569:
5565:
5562:
5548:
5547:
5536:
5531:
5527:
5524:
5521:
5515:
5512:
5508:
5503:
5498:
5495:
5490:
5486:
5483:
5479:
5474:
5469:
5466:
5461:
5457:
5454:
5440:
5439:
5428:
5423:
5419:
5416:
5413:
5407:
5404:
5400:
5395:
5390:
5387:
5382:
5378:
5375:
5371:
5366:
5361:
5358:
5353:
5349:
5346:
5323:
5320:
5317:
5314:
5311:
5293:
5292:
5277:
5273:
5268:
5264:
5261:
5258:
5255:
5252:
5249:
5246:
5243:
5237:
5233:
5230:
5227:
5223:
5218:
5214:
5211:
5208:
5205:
5199:
5195:
5191:
5186:
5182:
5179:
5176:
5170:
5166:
5162:
5157:
5149:
5142:
5136:
5132:
5130:
5127:
5126:
5122:
5117:
5113:
5110:
5107:
5104:
5101:
5098:
5095:
5092:
5086:
5082:
5079:
5076:
5072:
5067:
5063:
5060:
5057:
5054:
5048:
5044:
5040:
5035:
5031:
5028:
5025:
5019:
5015:
5011:
5006:
4998:
4991:
4985:
4981:
4979:
4967:are positive,
4957:
4956:
4945:
4941:
4936:
4932:
4929:
4926:
4923:
4920:
4917:
4911:
4907:
4904:
4901:
4897:
4892:
4888:
4885:
4879:
4875:
4871:
4866:
4858:
4851:
4845:
4841:
4837:
4832:
4828:
4825:
4822:
4819:
4816:
4813:
4807:
4803:
4800:
4797:
4793:
4788:
4784:
4781:
4775:
4771:
4767:
4762:
4754:
4747:
4741:
4717:
4716:
4705:
4702:
4699:
4696:
4693:
4690:
4684:
4681:
4675:
4671:
4666:
4662:
4659:
4653:
4647:
4644:
4641:
4636:
4633:
4630:
4626:
4614:
4613:
4602:
4599:
4596:
4593:
4590:
4587:
4584:
4581:
4578:
4575:
4572:
4566:
4563:
4557:
4553:
4548:
4544:
4541:
4535:
4529:
4526:
4523:
4518:
4515:
4512:
4508:
4482:
4481:
4470:
4467:
4464:
4461:
4458:
4455:
4452:
4449:
4446:
4443:
4440:
4434:
4431:
4425:
4421:
4416:
4412:
4409:
4403:
4397:
4394:
4391:
4386:
4383:
4380:
4376:
4350:
4349:
4338:
4333:
4329:
4326:
4323:
4320:
4317:
4314:
4311:
4308:
4305:
4302:
4299:
4296:
4293:
4290:
4287:
4284:
4281:
4278:
4275:
4269:
4265:
4260:
4256:
4253:
4247:
4241:
4238:
4235:
4230:
4227:
4224:
4220:
4197:
4196:
4185:
4182:
4179:
4175:
4170:
4166:
4163:
4160:
4154:
4150:
4146:
4141:
4137:
4134:
4131:
4128:
4125:
4119:
4115:
4111:
4106:
4098:
4091:
4085:
4073:
4072:
4061:
4058:
4055:
4051:
4046:
4042:
4039:
4036:
4030:
4026:
4022:
4017:
4013:
4010:
4007:
4004:
4001:
3995:
3991:
3987:
3982:
3974:
3967:
3961:
3942:
3941:
3930:
3926:
3920:
3916:
3913:
3910:
3904:
3901:
3897:
3893:
3890:
3887:
3883:
3877:
3874:
3869:
3866:
3862:
3858:
3854:
3851:
3848:
3844:
3841:
3838:
3835:
3832:
3821:
3820:
3809:
3805:
3799:
3795:
3792:
3789:
3783:
3780:
3776:
3772:
3769:
3766:
3762:
3756:
3753:
3748:
3745:
3741:
3737:
3733:
3730:
3727:
3723:
3720:
3717:
3714:
3711:
3689:
3688:
3677:
3673:
3668:
3660:
3653:
3647:
3643:
3639:
3634:
3626:
3619:
3613:
3609:
3606:
3588:
3587:
3576:
3572:
3567:
3563:
3560:
3557:
3554:
3551:
3545:
3541:
3538:
3535:
3531:
3526:
3522:
3519:
3516:
3510:
3506:
3502:
3497:
3489:
3482:
3476:
3472:
3469:
3458:
3457:
3446:
3442:
3437:
3433:
3430:
3427:
3424:
3421:
3415:
3411:
3408:
3405:
3401:
3396:
3392:
3389:
3386:
3380:
3376:
3372:
3367:
3359:
3352:
3346:
3342:
3339:
3321:
3320:
3309:
3305:
3300:
3296:
3293:
3290:
3287:
3284:
3278:
3274:
3270:
3265:
3261:
3258:
3255:
3249:
3237:
3236:
3225:
3221:
3216:
3212:
3209:
3206:
3203:
3200:
3194:
3190:
3186:
3181:
3177:
3174:
3171:
3165:
3146:
3145:
3134:
3127:
3123:
3119:
3114:
3109:
3106:
3103:
3099:
3094:
3091:
3086:
3082:
3079:
3052:
3049:
3045:
3044:
3029:
3026:
3023:
3020:
3017:
3015:
3011:
3006:
3003:
3000:
2995:
2990:
2989:
2986:
2983:
2980:
2977:
2974:
2971:
2969:
2965:
2960:
2957:
2954:
2949:
2944:
2943:
2929:
2928:
2913:
2910:
2907:
2904:
2901:
2898:
2896:
2892:
2887:
2884:
2881:
2876:
2871:
2870:
2867:
2864:
2861:
2858:
2855:
2852:
2850:
2846:
2841:
2838:
2835:
2830:
2825:
2824:
2821:
2818:
2815:
2812:
2809:
2806:
2804:
2800:
2795:
2792:
2789:
2784:
2779:
2778:
2760:
2759:
2746:
2741:
2737:
2733:
2730:
2722:
2720:
2717:
2716:
2712:
2708:
2705:
2697:
2695:
2692:
2691:
2689:
2684:
2681:
2678:
2675:
2672:
2669:
2666:
2663:
2660:
2646:
2645:
2632:
2627:
2623:
2619:
2616:
2608:
2606:
2603:
2602:
2598:
2594:
2591:
2583:
2581:
2578:
2577:
2575:
2570:
2567:
2564:
2561:
2558:
2555:
2552:
2549:
2546:
2535:
2534:
2521:
2516:
2512:
2508:
2505:
2497:
2495:
2492:
2489:
2488:
2484:
2480:
2477:
2469:
2467:
2464:
2463:
2461:
2456:
2453:
2450:
2447:
2444:
2441:
2438:
2435:
2432:
2418:
2417:
2402:
2399:
2396:
2393:
2390:
2387:
2385:
2383:
2380:
2377:
2374:
2371:
2370:
2367:
2364:
2361:
2358:
2355:
2352:
2350:
2348:
2345:
2342:
2339:
2336:
2335:
2332:
2329:
2326:
2324:
2322:
2319:
2316:
2313:
2310:
2307:
2304:
2301:
2298:
2297:
2283:
2282:
2271:
2268:
2265:
2262:
2259:
2256:
2253:
2250:
2247:
2244:
2222:
2221:
2208:
2202:
2198:
2195:
2189: if
2185:
2183:
2180:
2179:
2175:
2171:
2168:
2162: if
2158:
2156:
2153:
2152:
2150:
2145:
2142:
2139:
2136:
2133:
2130:
2127:
2124:
2114:
2098:
2095:
2092:
2089:
2086:
2083:
2080:
2077:
2062:
2059:
2058:
2057:
2042:
2039:
2034:
2030:
2026:
2023:
2020:
2015:
2011:
2007:
2004:
2001:
1999:
1995:
1991:
1987:
1982:
1978:
1974:
1973:
1970:
1967:
1962:
1958:
1954:
1951:
1948:
1943:
1939:
1935:
1932:
1929:
1927:
1923:
1919:
1915:
1910:
1906:
1902:
1901:
1882:
1879:
1878:
1877:
1862:
1859:
1856:
1853:
1850:
1847:
1844:
1841:
1838:
1835:
1832:
1829:
1826:
1823:
1820:
1817:
1815:
1813:
1810:
1807:
1804:
1801:
1798:
1795:
1792:
1789:
1786:
1785:
1782:
1779:
1776:
1773:
1770:
1767:
1764:
1761:
1758:
1755:
1752:
1749:
1746:
1743:
1740:
1737:
1734:
1731:
1729:
1727:
1724:
1721:
1718:
1715:
1712:
1709:
1706:
1705:
1679:
1678:
1663:
1660:
1657:
1654:
1651:
1648:
1646:
1644:
1641:
1638:
1635:
1632:
1629:
1628:
1625:
1622:
1619:
1616:
1613:
1610:
1607:
1604:
1602:
1600:
1597:
1594:
1591:
1588:
1585:
1584:
1581:
1578:
1575:
1572:
1569:
1566:
1563:
1560:
1558:
1556:
1553:
1550:
1547:
1544:
1541:
1540:
1522:
1521:
1506:
1503:
1500:
1497:
1494:
1491:
1489:
1487:
1484:
1473:
1471:
1468:
1465:
1462:
1461:
1458:
1455:
1452:
1449:
1447:
1445:
1442:
1439:
1436:
1425:
1423:
1420:
1417:
1414:
1413:
1410:
1407:
1404:
1401:
1398:
1395:
1393:
1391:
1388:
1377:
1375:
1372:
1369:
1366:
1365:
1362:
1359:
1356:
1353:
1351:
1349:
1346:
1343:
1340:
1329:
1327:
1324:
1321:
1318:
1317:
1291:
1290:
1275:
1272:
1269:
1266:
1263:
1260:
1257:
1255:
1253:
1250:
1241:
1238:
1235:
1232:
1230:
1228:
1225:
1222:
1219:
1218:
1215:
1212:
1209:
1206:
1203:
1200:
1198:
1196:
1193:
1190:
1187:
1178:
1175:
1172:
1169:
1167:
1165:
1162:
1159:
1156:
1155:
1152:
1149:
1146:
1143:
1140:
1137:
1135:
1133:
1130:
1127:
1118:
1109:
1106:
1103:
1100:
1098:
1096:
1093:
1090:
1087:
1086:
1083:
1080:
1077:
1074:
1071:
1068:
1065:
1062:
1060:
1058:
1055:
1046:
1037:
1034:
1031:
1029:
1027:
1024:
1021:
1018:
1017:
1002:
999:
986:
983:
980:
977:
974:
954:
951:
948:
945:
942:
931:
930:
919:
916:
913:
910:
907:
904:
901:
898:
895:
892:
889:
886:
883:
853:
852:
841:
838:
835:
832:
829:
826:
822:
818:
815:
812:
809:
806:
803:
800:
797:
786:
785:
774:
771:
768:
765:
762:
759:
755:
751:
748:
745:
742:
739:
736:
733:
730:
706:
674:
671:
639:
638:
619:
600:
581:
558:
557:
539:
538:
420:partie entière
406:
403:
400:
399:
396:
393:
390:
386:
385:
382:
379:
376:
372:
371:
368:
365:
362:
358:
357:
354:
351:
348:
344:
343:
340:
337:
334:
330:
329:
326:
323:
320:
316:
315:
312:
309:
306:
302:
301:
289:
279:
269:
245:. However, if
75:floor function
61:
54:
53:
52:
48:Floor function
47:
40:
39:
38:
34:
33:
32:
31:
26:
9:
6:
4:
3:
2:
13305:
13294:
13291:
13289:
13286:
13284:
13281:
13280:
13278:
13266:
13265:
13260:
13257:
13252:
13247:
13246:
13241:
13238:
13233:
13230:
13226:
13222:
13218:
13214:
13213:
13208:
13204:
13203:
13194:
13192:0-19-853369-1
13188:
13184:
13179:
13176:
13172:
13169:
13167:0-387-94457-5
13163:
13159:
13154:
13151:
13145:
13141:
13136:
13133:
13131:3-540-66957-4
13127:
13123:
13119:
13114:
13110:
13105:
13102:
13098:
13094:
13091:
13088:
13087:0-89871-420-6
13084:
13080:
13076:
13073:
13067:
13063:
13058:
13057:
13050:
13047:
13045:0-201-55802-5
13041:
13037:
13032:
13029:
13027:0-387-94777-9
13023:
13019:
13015:
13014:
13008:
13005:
13001:
12996:
12995:
12976:
12970:
12955:
12949:
12934:
12928:
12913:
12907:
12892:
12888:
12882:
12873:
12858:
12848:
12840:
12834:
12819:
12809:
12794:
12784:
12769:
12765:
12759:
12744:
12740:
12734:
12719:
12715:
12709:
12694:
12690:
12683:
12668:
12664:
12657:
12642:
12632:
12617:
12607:
12599:
12595:
12591:
12587:
12586:
12581:
12575:
12566:
12557:
12552:
12548:
12544:
12537:
12530:
12523:
12517:
12507:
12497:
12488:
12479:
12470:
12468:
12458:
12439:
12436:
12417:
12413:
12410:
12407:
12394:
12382:
12379:
12353:
12343:
12340:
12337:
12333:
12324:
12320:
12314:
12305:
12296:
12287:
12280:
12274:
12265:
12256:
12249:
12241:
12232:
12223:
12214:
12205:
12196:
12187:
12178:
12169:
12160:
12151:
12142:
12133:
12114:
12108:
12099:
12093:
12088:
12081:
12076:
12067:
12058:
12049:
12040:
12033:
12029:
12025:
12019:
12015:
12009:
12005:
12001:
11995:
11986:
11982:
11973:
11970:
11968:
11967:Step function
11965:
11963:
11960:
11958:
11955:
11954:
11948:
11934:
11930:
11926:
11910:
11905:
11899:
11896:for ceiling.
11887:
11879:
11863:
11859:
11855:
11851:
11847:
11843:
11839:
11835:
11830:
11815:
11809:
11805:
11800:
11796:
11792:
11771:
11751:
11743:
11738:
11735:
11731:
11727:
11719:
11714:
11705:
11703:
11699:
11681:
11675:
11672:
11660:
11645:
11642:
11622:
11617:
11613:
11609:
11597:
11582:
11579:
11557:
11553:
11549:
11544:
11540:
11532:
11531:
11530:
11528:
11523:
11521:
11518:The study of
11511:
11494:
11490:
11485:
11482:
11479:
11476:
11471:
11467:
11463:
11457:
11454:
11451:
11446:
11441:
11435:
11427:
11413:
11409:
11400:
11397:
11391:
11388:
11383:
11377:
11374:
11367:
11363:
11359:
11350:
11347:
11341:
11338:
11333:
11327:
11324:
11317:
11309:
11295:
11291:
11285:
11281:
11278:
11275:
11268:
11264:
11260:
11254:
11251:
11245:
11241:
11237:
11231:
11227:
11224:
11221:
11214:
11210:
11206:
11200:
11196:
11193:
11190:
11183:
11179:
11175:
11169:
11166:
11160:
11152:
11150:
11148:
11143:
11141:
11137:
11128:
11111:
11099:
11093:
11090:
11084:
11079:
11076:
11071:
11066:
11060:
11055:
11052:
11049:
11045:
11029:
11017:
11012:
11009:
11006:
11002:
10998:
10992:
10986:
10979:
10978:
10977:
10975:
10956:
10945:
10940:
10936:
10930:
10927:
10924:
10915:
10911:
10906:
10902:
10899:
10896:
10890:
10887:
10884:
10866:
10861:
10858:
10855:
10851:
10847:
10841:
10835:
10828:
10827:
10826:
10824:
10820:
10816:
10807:
10790:
10787:
10783:
10774:
10770:
10765:
10760:
10756:
10752:
10748:
10741:
10737:
10732:
10728:
10724:
10720:
10715:
10711:
10707:
10699:
10698:
10697:
10695:
10690:
10673:
10670:
10666:
10661:
10657:
10653:
10649:
10645:
10640:
10636:
10632:
10628:
10624:
10619:
10615:
10611:
10603:
10602:
10601:
10599:
10596:= 1.3064... (
10595:
10576:
10572:
10568:
10561:
10553:
10550:
10547:
10540:
10535:
10529:
10526:
10523:
10520:
10516:
10512:
10508:
10504:
10497:
10493:
10488:
10483:
10479:
10474:
10470:
10462:
10461:
10460:
10443:
10436:
10432:
10428:
10424:
10418:
10414:
10403:
10400:
10397:
10393:
10389:
10386:
10379:
10378:
10377:
10375:
10371:
10367:
10362:
10358:
10339:
10336:
10332:
10319:
10315:
10312:
10309:
10296:
10284:
10281:
10268:
10257:
10254:
10251:
10247:
10239:
10238:
10237:
10236:
10232:
10228:
10224:
10199:
10195:
10192:
10189:
10176:
10164:
10161:
10138:
10136:
10117:
10114:
10111:
10105:
10102:
10099:
10096:
10092:
10083:
10079:
10075:
10067:
10063:
10051:
10048:
10045:
10041:
10027:
10023:
10019:
10016:
10010:
10004:
9997:
9996:
9995:
9993:
9989:
9985:
9981:
9976:
9974:
9970:
9966:
9947:
9942:
9939:
9934:
9928:
9925:
9922:
9918:
9913:
9910:
9907:
9899:
9896:
9893:
9889:
9881:
9875:
9870:
9867:
9852:
9848:
9844:
9841:
9835:
9829:
9822:
9821:
9820:
9818:
9814:
9810:
9806:
9802:
9784:
9781:
9777:
9773:
9767:
9761:
9738:
9732:
9726:
9722:
9715:
9712:
9706:
9700:
9693:
9689:
9683:
9677:
9673:
9666:
9663:
9657:
9651:
9644:
9640:
9637:
9634:
9627:
9620:
9617:
9612:
9605:
9602:
9596:
9590:
9583:
9577:
9572:
9568:
9564:
9561:
9558:
9551:
9545:
9540:
9535:
9531:
9527:
9521:
9515:
9510:
9507:
9504:
9501:
9498:
9494:
9486:
9485:
9484:
9467:
9461:
9453:
9429:
9426:
9422:
9415:
9412:
9406:
9403:
9400:
9394:
9391:
9384:
9380:
9377:
9373:
9366:
9363:
9357:
9351:
9348:
9342:
9336:
9333:
9327:
9321:
9318:
9311:
9307:
9304:
9298:
9295:
9289:
9283:
9280:
9274:
9269:
9265:
9261:
9258:
9253:
9249:
9244:
9236:
9228:
9225:
9212:
9209:
9206:
9202:
9198:
9195:
9188:
9187:
9186:
9169:
9165:
9159:
9156:
9151:
9147:
9142:
9139:
9134:
9129:
9123:
9118:
9115:
9112:
9108:
9102:
9099:
9086:
9078:
9075:
9068:
9067:
9052:
9049:
9046:
9041:
9035:
9032:
9027:
9018:
9011:
9005:
8994:
8990:
8986:
8983:
8976:
8975:
8974:
8972:
8962:
8960:
8956:
8952:
8942:
8940:
8936:
8932:
8928:
8910:
8906:
8900:
8896:
8890:
8886:
8882:
8879:
8853:
8850:
8847:
8840:
8836:
8830:
8826:
8822:
8819:
8813:
8810:
8807:
8803:
8796:
8792:
8788:
8783:
8779:
8775:
8768:
8764:
8760:
8755:
8751:
8747:
8742:
8739:
8734:
8726:
8725:
8724:
8723:
8719:
8716:that divides
8715:
8711:
8707:
8697:
8694:
8686:
8681:
8677:
8674:
8669:
8664:
8660:
8656:
8636:
8633:
8630:
8627:
8624:
8618:
8612:
8609:
8606:
8600:
8597:
8592:
8584:
8574:
8570:
8567:
8562:
8558:
8557:
8556:
8536:
8533:
8530:
8524:
8519:
8511:
8505:
8502:
8499:
8494:
8486:
8476:
8475:
8474:
8472:
8448:
8438:
8435:
8432:
8425:
8420:
8416:
8409:
8406:
8403:
8396:
8392:
8387:
8383:
8372:
8371:
8370:
8368:
8364:
8361:
8335:
8329:
8326:
8321:
8313:
8307:
8303:
8297:
8291:
8285:
8278:
8277:
8276:
8254:
8250:
8246:
8242:
8226:
8219:
8214:
8197:
8194:
8191:
8188:
8179:
8176:
8165:
8162:
8143:
8115:
8112:
8099:
8096:
8093:
8090:
8081:
8078:
8065:
8052:
8049:
8046:
8043:
8034:
8031:
8018:
8014:
8007:
8004:
7998:
7995:
7991:
7987:
7981:
7970:
7966:
7965:sign function
7949:
7942:
7939:
7933:
7925:
7916:
7909:
7903:
7900:
7897:
7891:
7874:
7859:
7852:
7849:
7840:
7837:
7830:
7826:
7822:
7815:
7812:
7806:
7803:
7799:
7795:
7789:
7760:
7753:
7750:
7741:
7738:
7731:
7727:
7723:
7716:
7713:
7707:
7704:
7700:
7696:
7690:
7674:
7658:
7651:
7635:
7603:
7597:
7592:
7588:
7585:
7582:
7576:
7567:
7564:
7558:
7556:
7550:
7545:
7542:
7537:
7529:
7523:
7518:
7514:
7511:
7508:
7502:
7493:
7490:
7484:
7482:
7476:
7471:
7468:
7463:
7451:
7450:
7449:
7447:
7428:
7421:
7417:
7414:
7411:
7403:
7399:
7396:
7393:
7382:
7379:
7373:
7368:
7365:
7357:
7354:
7348:
7344:
7339:
7336:
7331:
7326:
7321:
7318:
7313:
7305:
7304:
7303:
7286:
7283:
7280:
7277:
7273:
7268:
7264:
7261:
7255:
7251:
7248:
7245:
7241:
7236:
7232:
7229:
7223:
7219:
7215:
7210:
7207:
7202:
7198:
7194:
7189:
7185:
7182:
7176:
7172:
7169:
7166:
7162:
7157:
7153:
7150:
7144:
7140:
7136:
7131:
7128:
7123:
7115:
7114:
7113:
7111:
7088:
7082:
7077:
7073:
7070:
7064:
7060:
7057:
7054:
7050:
7045:
7041:
7038:
7032:
7028:
7024:
7019:
7016:
7011:
7002:
6999:
6993:
6991:
6985:
6980:
6977:
6972:
6964:
6958:
6953:
6949:
6946:
6940:
6936:
6933:
6930:
6926:
6921:
6917:
6914:
6908:
6904:
6900:
6895:
6892:
6887:
6878:
6875:
6869:
6867:
6861:
6856:
6853:
6848:
6836:
6835:
6834:
6833:are given by
6832:
6828:
6827:Gauss's lemma
6823:
6810:
6804:
6801:
6798:
6789:
6786:
6780:
6777:
6758:
6752:
6749:
6746:
6737:
6734:
6728:
6725:
6717:
6713:
6708:
6706:
6682:
6679:
6676:
6671:
6663:
6660:
6657:
6650:
6649:
6648:
6647:is negative,
6646:
6627:
6624:
6621:
6616:
6608:
6605:
6602:
6595:
6594:
6593:
6592:is positive,
6591:
6586:
6584:
6580:
6576:
6557:
6553:
6548:
6545:
6540:
6536:
6533:
6530:
6527:
6522:
6514:
6507:
6506:
6505:
6503:
6499:
6495:
6491:
6487:
6483:
6479:
6476:, denoted by
6475:
6471:
6467:
6452:
6432:
6425:
6422:
6419:
6416:
6410:
6407:
6394:
6391:
6388:
6384:
6378:
6375:
6370:
6365:
6362:
6357:
6354:
6351:
6345:
6319:
6313:
6310:
6307:
6301:
6289:
6287:
6283:
6279:
6275:
6271:
6267:
6262:
6242:
6235:
6232:
6229:
6226:
6220:
6217:
6204:
6201:
6198:
6194:
6188:
6185:
6180:
6175:
6172:
6167:
6161:
6150:
6146:
6141:
6124:
6098:
6087:
6068:
6057:
6040:
6014:
5988:
5977:
5973:
5949:
5945:
5939:
5936:
5932:
5927:
5923:
5919:
5914:
5907:
5903:
5899:
5890:
5882:
5881:
5865:
5859:
5856:
5852:
5847:
5843:
5839:
5834:
5827:
5823:
5819:
5810:
5802:
5801:
5800:
5798:
5794:
5790:
5780:
5766:
5756:
5752:
5745:
5732:
5726:
5722:
5718:
5692:
5688:
5683:
5680:
5675:
5671:
5668:
5660:
5651:
5646:
5643:
5638:
5634:
5631:
5621:
5618:
5613:
5610:
5600:
5597:
5592:
5589:
5580:
5575:
5572:
5567:
5563:
5560:
5553:
5552:
5551:
5534:
5529:
5522:
5513:
5510:
5501:
5496:
5493:
5488:
5484:
5481:
5472:
5467:
5464:
5459:
5455:
5452:
5445:
5444:
5443:
5426:
5421:
5414:
5405:
5402:
5393:
5388:
5385:
5380:
5376:
5373:
5364:
5359:
5356:
5351:
5347:
5344:
5337:
5336:
5335:
5321:
5318:
5315:
5312:
5309:
5300:
5298:
5275:
5271:
5266:
5262:
5259:
5256:
5250:
5247:
5244:
5235:
5231:
5228:
5225:
5221:
5216:
5212:
5209:
5206:
5203:
5197:
5193:
5189:
5184:
5180:
5177:
5174:
5168:
5164:
5160:
5155:
5147:
5140:
5134:
5128:
5120:
5115:
5111:
5108:
5105:
5099:
5096:
5093:
5084:
5080:
5077:
5074:
5070:
5065:
5061:
5058:
5055:
5052:
5046:
5042:
5038:
5033:
5029:
5026:
5023:
5017:
5013:
5009:
5004:
4996:
4989:
4983:
4970:
4969:
4968:
4966:
4962:
4943:
4939:
4934:
4930:
4924:
4921:
4918:
4909:
4905:
4902:
4899:
4895:
4890:
4886:
4883:
4877:
4873:
4869:
4864:
4856:
4849:
4843:
4839:
4835:
4830:
4826:
4820:
4817:
4814:
4805:
4801:
4798:
4795:
4791:
4786:
4782:
4779:
4773:
4769:
4765:
4760:
4752:
4745:
4739:
4731:
4730:
4729:
4727:
4723:
4703:
4697:
4694:
4691:
4682:
4679:
4673:
4669:
4664:
4660:
4657:
4651:
4645:
4642:
4639:
4634:
4631:
4628:
4624:
4616:
4615:
4600:
4594:
4591:
4588:
4579:
4576:
4573:
4564:
4561:
4555:
4551:
4546:
4542:
4539:
4533:
4527:
4524:
4521:
4516:
4513:
4510:
4506:
4498:
4497:
4496:
4494:
4490:
4487:
4468:
4462:
4459:
4456:
4447:
4444:
4441:
4432:
4429:
4423:
4419:
4414:
4410:
4407:
4401:
4395:
4392:
4389:
4384:
4381:
4378:
4374:
4366:
4365:
4364:
4363:, reduces to
4362:
4358:
4355:
4336:
4331:
4327:
4324:
4318:
4315:
4312:
4303:
4297:
4294:
4291:
4282:
4279:
4276:
4267:
4263:
4258:
4254:
4251:
4245:
4239:
4236:
4233:
4228:
4225:
4222:
4218:
4210:
4209:
4208:
4206:
4202:
4183:
4180:
4177:
4173:
4168:
4164:
4161:
4158:
4152:
4148:
4144:
4139:
4135:
4132:
4129:
4126:
4123:
4117:
4113:
4109:
4104:
4096:
4089:
4083:
4075:
4074:
4059:
4056:
4053:
4049:
4044:
4040:
4037:
4034:
4028:
4024:
4020:
4015:
4011:
4008:
4005:
4002:
3999:
3993:
3989:
3985:
3980:
3972:
3965:
3959:
3951:
3950:
3949:
3947:
3928:
3924:
3918:
3914:
3911:
3908:
3902:
3899:
3895:
3891:
3888:
3885:
3881:
3875:
3872:
3867:
3864:
3860:
3856:
3852:
3849:
3846:
3842:
3836:
3833:
3823:
3822:
3807:
3803:
3797:
3793:
3790:
3787:
3781:
3778:
3774:
3770:
3767:
3764:
3760:
3754:
3751:
3746:
3743:
3739:
3735:
3731:
3728:
3725:
3721:
3715:
3712:
3702:
3701:
3700:
3698:
3694:
3675:
3671:
3666:
3658:
3651:
3645:
3641:
3637:
3632:
3624:
3617:
3611:
3607:
3604:
3597:
3596:
3595:
3593:
3574:
3570:
3565:
3561:
3558:
3555:
3552:
3549:
3543:
3539:
3536:
3533:
3529:
3524:
3520:
3517:
3514:
3508:
3504:
3500:
3495:
3487:
3480:
3474:
3470:
3467:
3460:
3459:
3444:
3440:
3435:
3431:
3428:
3425:
3422:
3419:
3413:
3409:
3406:
3403:
3399:
3394:
3390:
3387:
3384:
3378:
3374:
3370:
3365:
3357:
3350:
3344:
3340:
3337:
3330:
3329:
3328:
3326:
3307:
3303:
3298:
3294:
3291:
3285:
3276:
3272:
3268:
3263:
3259:
3256:
3253:
3247:
3239:
3238:
3223:
3219:
3214:
3210:
3207:
3201:
3192:
3188:
3184:
3179:
3175:
3172:
3169:
3163:
3155:
3154:
3153:
3151:
3132:
3121:
3112:
3107:
3104:
3101:
3097:
3092:
3089:
3084:
3080:
3077:
3070:
3069:
3068:
3066:
3062:
3058:
3048:
3024:
3018:
3016:
3001:
2984:
2978:
2972:
2970:
2955:
2934:
2933:
2932:
2911:
2905:
2899:
2897:
2882:
2865:
2859:
2853:
2851:
2836:
2819:
2813:
2807:
2805:
2790:
2769:
2768:
2767:
2765:
2739:
2731:
2728:
2718:
2706:
2703:
2693:
2687:
2682:
2676:
2673:
2667:
2661:
2651:
2650:
2649:
2625:
2617:
2614:
2604:
2592:
2589:
2579:
2573:
2568:
2562:
2559:
2553:
2547:
2537:
2536:
2514:
2506:
2503:
2493:
2490:
2478:
2475:
2465:
2459:
2454:
2448:
2445:
2439:
2433:
2423:
2422:
2421:
2397:
2394:
2388:
2386:
2378:
2372:
2362:
2359:
2353:
2351:
2343:
2337:
2330:
2327:
2325:
2317:
2314:
2308:
2302:
2288:
2287:
2286:
2269:
2266:
2263:
2257:
2251:
2245:
2235:
2234:
2233:
2231:
2227:
2196:
2193:
2181:
2169:
2166:
2154:
2148:
2143:
2137:
2131:
2125:
2115:
2112:
2096:
2090:
2084:
2078:
2068:
2067:
2066:
2040:
2032:
2028:
2021:
2013:
2009:
2000:
1993:
1989:
1985:
1980:
1976:
1968:
1960:
1956:
1949:
1941:
1937:
1928:
1921:
1917:
1913:
1908:
1904:
1892:
1891:
1890:
1888:
1860:
1854:
1848:
1842:
1836:
1830:
1827:
1824:
1818:
1816:
1811:
1808:
1802:
1796:
1790:
1780:
1777:
1774:
1768:
1762:
1756:
1750:
1744:
1741:
1738:
1732:
1730:
1722:
1716:
1710:
1696:
1695:
1694:
1661:
1655:
1649:
1647:
1639:
1636:
1633:
1623:
1620:
1617:
1611:
1605:
1603:
1595:
1592:
1589:
1579:
1576:
1573:
1567:
1561:
1559:
1551:
1548:
1545:
1531:
1530:
1529:
1504:
1498:
1492:
1490:
1485:
1469:
1466:
1463:
1456:
1453:
1450:
1448:
1440:
1421:
1418:
1415:
1408:
1402:
1396:
1394:
1389:
1373:
1370:
1367:
1360:
1357:
1354:
1352:
1344:
1325:
1322:
1319:
1308:
1307:
1306:
1304:
1300:
1296:
1273:
1270:
1267:
1264:
1261:
1258:
1256:
1251:
1236:
1233:
1231:
1223:
1213:
1210:
1207:
1204:
1201:
1199:
1194:
1191:
1188:
1173:
1170:
1168:
1160:
1150:
1147:
1144:
1141:
1138:
1136:
1131:
1128:
1125:
1104:
1101:
1099:
1091:
1081:
1078:
1075:
1072:
1069:
1066:
1063:
1061:
1056:
1035:
1032:
1030:
1022:
1008:
1007:
1006:
998:
984:
981:
975:
952:
949:
943:
917:
914:
911:
908:
905:
902:
899:
896:
893:
890:
887:
884:
881:
874:
873:
872:
870:
866:
862:
858:
839:
833:
830:
827:
824:
816:
813:
804:
798:
788:
787:
772:
766:
763:
760:
757:
749:
746:
737:
731:
721:
720:
719:
696:
692:
688:
684:
680:
670:
666:\right\rfloor
644:
620:
601:
593:RIGHT CEILING
582:
563:
562:
561:
553:
548:
547:
546:
544:
535:
531:
527:
522:
521:
520:
512:
507:, denoted by
506:
502:
497:
496:for ceiling.
493:
485:
477:
470:
468:
462:
454:
448:
444:
440:
436:
432:
430:
426:
421:
417:of a number (
416:
412:
411:integral part
397:
394:
391:
388:
387:
383:
380:
377:
374:
373:
369:
366:
363:
360:
359:
355:
352:
349:
346:
345:
341:
338:
335:
332:
331:
327:
324:
321:
318:
317:
313:
310:
307:
304:
303:
298:
293:
290:
286:
280:
276:
270:
268:
265:
264:
258:
234:
226:
219:
216:
212:
208:
197:
195:
191:
183:
179:
175:
171:
170:integral part
164:The floor of
162:
143:
139:
131:
124:
115:
109:
101:
91:
84:
80:
76:
72:
58:
44:
30:
19:
13262:
13243:
13228:
13210:
13182:
13174:
13157:
13139:
13117:
13108:
13100:
13089:, p. 25
13078:
13055:
13035:
13016:, New York:
13012:
12999:
12978:. Retrieved
12969:
12957:. Retrieved
12948:
12936:. Retrieved
12927:
12915:. Retrieved
12906:
12894:. Retrieved
12890:
12887:"Vocabulary"
12881:
12872:
12860:. Retrieved
12847:
12833:
12821:. Retrieved
12808:
12796:. Retrieved
12783:
12771:. Retrieved
12767:
12758:
12746:. Retrieved
12742:
12733:
12721:. Retrieved
12717:
12708:
12696:. Retrieved
12692:
12687:dotnet-bot.
12682:
12670:. Retrieved
12666:
12661:dotnet-bot.
12656:
12644:. Retrieved
12631:
12619:. Retrieved
12606:
12589:
12583:
12580:Mahler, Kurt
12574:
12565:
12546:
12542:
12529:
12521:
12516:
12511:impossible."
12506:
12496:
12487:
12478:
12457:
12322:
12318:
12313:
12304:
12295:
12286:
12273:
12264:
12255:
12240:
12231:
12222:
12213:
12204:
12195:
12186:
12177:
12168:
12159:
12150:
12141:
12132:
12120:. Retrieved
12107:
12098:
12087:
12075:
12066:
12057:
12048:
12039:
12023:
12017:
12013:
11999:
11994:
11985:
11935:and others,
11925:OpenDocument
11911:the funtion
11906:
11831:
11739:
11722:
11701:
11696:
11526:
11524:
11517:
11509:
11146:
11144:
11139:
11134:
11126:
10973:
10971:
10818:
10814:
10808:
10805:
10693:
10691:
10688:
10593:
10591:
10458:
10373:
10369:
10365:
10360:
10356:
10354:
10230:
10226:
10222:
10144:
10132:
9991:
9987:
9983:
9979:
9977:
9972:
9968:
9964:
9962:
9816:
9812:
9808:
9804:
9753:
9449:
9184:
8968:
8948:
8938:
8934:
8930:
8926:
8871:
8717:
8713:
8709:
8705:
8703:
8692:
8689:
8679:
8672:
8662:
8654:
8560:
8554:
8468:
8366:
8362:
8357:
8252:
8248:
8244:
8215:
7875:
7673:tie breaking
7627:
7445:
7443:
7301:
7107:
6824:
6715:
6711:
6709:
6702:
6644:
6642:
6589:
6587:
6582:
6578:
6574:
6572:
6501:
6497:
6493:
6489:
6485:
6481:
6477:
6469:
6465:
6463:
6460:Mod operator
6455:Applications
6290:
6285:
6281:
6277:
6273:
6269:
6265:
6263:
6145:power series
6142:
6058:
5969:
5796:
5792:
5788:
5786:
5707:
5549:
5441:
5301:
5294:
4964:
4960:
4958:
4725:
4721:
4718:
4492:
4488:
4483:
4360:
4356:
4351:
4204:
4200:
4198:
3945:
3943:
3692:
3690:
3591:
3589:
3327:is positive
3324:
3322:
3149:
3147:
3064:
3060:
3056:
3054:
3046:
2930:
2761:
2647:
2419:
2284:
2225:
2223:
2110:
2064:
1884:
1881:Monotonicity
1680:
1523:
1295:order theory
1292:
1004:
1001:Equivalences
932:
868:
864:
860:
854:
690:
686:
682:
678:
676:
640:
574:LEFT CEILING
559:
551:
542:
540:
533:
529:
525:
510:
498:
491:
483:
475:
471:
460:
452:
446:
433:
415:integer part
414:
410:
408:
296:
284:
274:
266:
232:
224:
220:
214:
210:
206:
203:an integer,
198:
190:integer part
189:
181:
177:
174:integer part
173:
169:
163:
144:
137:
129:
122:
113:
107:
99:
74:
68:
29:
13175:Precalculus
12896:6 September
12773:4 September
12748:20 November
12723:20 November
12698:28 November
12672:28 November
12585:Mathematika
11933:Libreoffice
11904:for floor.
10376:by the sum
10233:is a prime
10135:van der Pol
8218:real number
8216:Rounding a
8161:integrality
6114: and
5442:Similarly,
685:, integers
631:RIGHT FLOOR
375:−2.7
83:real number
71:mathematics
13277:Categories
13120:, Berlin:
13060:, Oxford:
12992:References
12980:29 October
12959:29 October
12938:29 October
12917:29 October
12891:J Language
12646:5 December
12621:5 December
12556:2109.03680
12032:0387947469
12008:1472117158
6268:fixed and
6088:and
6084: is
5972:continuous
3948:positive)
2764:idempotent
965: and
612:LEFT FLOOR
194:truncation
126:, denoted
96:, denoted
13264:MathWorld
13245:MathWorld
13217:EMS Press
12818:function"
12793:function"
12641:function"
12616:function"
12411:−
12395:−
12359:⌋
12349:⌊
12334:∑
11978:Citations
11673:−
11623:−
11550:−
11136:Ramanujan
11046:∑
11003:∑
10987:π
10972:Also, if
10928:−
10912:−
10888:−
10852:∑
10836:π
10791:…
10775:ω
10742:ω
10716:ω
10674:…
10658:θ
10637:θ
10616:θ
10569:α
10551:−
10527:−
10513:−
10505:α
10429:−
10409:∞
10394:∑
10387:α
10313:−
10297:−
10263:∞
10248:∑
10193:−
10177:−
10115:ω
10106:ω
10097:−
10084:ω
10076:−
10073:⌋
10068:ω
10060:⌊
10052:ω
10049:σ
10046:−
10036:∞
10031:∞
10028:−
10024:∫
10005:ζ
9926:−
9876:−
9858:∞
9849:∫
9830:ζ
9801:real part
9782:−
9762:φ
9727:φ
9707:−
9690:−
9678:φ
9658:−
9618:φ
9597:−
9569:∫
9546:φ
9532:∫
9516:φ
9508:≤
9495:∑
9462:φ
9430:⋯
9407:−
9404:⋯
9401:−
9358:−
9328:−
9290:−
9259:
9226:−
9218:∞
9203:∑
9196:γ
9152:−
9109:∑
9093:∞
9090:→
9076:γ
9028:−
9022:⌋
9016:⌊
9000:∞
8991:∫
8984:γ
8887:∑
8851:−
8827:∑
8823:−
8811:⋯
8668:factorial
8628:−
8619:⋯
8610:−
8540:⌋
8528:⌊
8503:⋯
8446:⌉
8426:
8413:⌈
8401:⌋
8393:
8380:⌊
8317:Δ
8304:⋅
8301:Δ
8263:Δ
8253:step size
8249:mid-tread
8241:quantizer
8195:−
8164:indicator
8159:minus an
8113:−
8097:−
8066:−
8050:−
7985:⌉
7979:⌊
7904:
7856:⌉
7847:⌈
7807:−
7757:⌋
7748:⌊
7565:−
7491:−
7415:−
7397:−
7380:−
7355:−
7249:⋯
7170:⋯
7110:geometric
7058:⋯
7000:−
6934:⋯
6876:−
6802:−
6750:−
6661:≥
6606:≤
6534:−
6420:π
6411:
6400:∞
6385:∑
6379:π
6358:−
6349:⌋
6343:⌊
6314:−
6305:⌋
6299:⌊
6230:π
6221:
6210:∞
6195:∑
6189:π
6181:−
6102:⌉
6096:⌈
6072:⌋
6066:⌊
6018:⌉
6012:⌈
5992:⌋
5986:⌊
5911:⌉
5897:⌈
5831:⌋
5817:⌊
5749:⌋
5743:⌊
5730:⌋
5716:⌊
5672:≤
5665:⟹
5661:…
5657:⟹
5635:≤
5628:⟹
5614:≤
5607:⟹
5593:≤
5586:⟹
5564:≤
5526:⌉
5520:⌈
5514:≥
5507:⟺
5485:≥
5478:⟺
5456:≥
5418:⌋
5412:⌊
5406:≤
5399:⟺
5377:≤
5370:⟺
5348:≤
5248:−
5229:⋯
5097:−
5078:⋯
4922:−
4903:⋯
4818:−
4799:⋯
4695:−
4643:−
4625:∑
4592:−
4525:−
4507:∑
4460:−
4445:−
4393:−
4375:∑
4325:−
4295:−
4280:−
4237:−
4219:∑
4178:−
4127:−
4038:−
4009:−
3912:−
3889:⋯
3840:⌋
3831:⌊
3791:−
3782:−
3768:⋯
3747:−
3719:⌉
3710:⌈
3559:−
3537:⋯
3423:−
3407:⋯
3388:−
3289:⌉
3283:⌈
3205:⌋
3199:⌊
3108:−
3102:≤
3081:≤
3051:Quotients
3028:⌋
3022:⌊
3005:⌋
2999:⌊
2982:⌉
2976:⌈
2959:⌉
2953:⌈
2863:⌉
2857:⌈
2840:⌉
2834:⌈
2817:⌋
2811:⌊
2794:⌋
2788:⌊
2707:∈
2674:−
2593:∈
2566:⌉
2560:−
2557:⌈
2551:⌉
2545:⌈
2491:−
2479:∈
2452:⌋
2446:−
2443:⌊
2437:⌋
2431:⌊
2401:⌋
2395:−
2392:⌊
2382:⌉
2376:⌈
2373:−
2366:⌉
2360:−
2357:⌈
2347:⌋
2341:⌊
2338:−
2321:⌉
2315:−
2312:⌈
2306:⌋
2300:⌊
2261:⌉
2255:⌈
2249:⌋
2243:⌊
2170:∈
2141:⌋
2135:⌊
2132:−
2129:⌉
2123:⌈
2094:⌉
2088:⌈
2085:≤
2082:⌋
2076:⌊
2038:⌉
2025:⌈
2022:≤
2019:⌉
2006:⌈
2003:⇒
1986:≤
1966:⌋
1953:⌊
1950:≤
1947:⌋
1934:⌊
1931:⇒
1914:≤
1858:⌉
1852:⌈
1846:⌉
1840:⌈
1837:≤
1834:⌉
1822:⌈
1819:≤
1809:−
1806:⌉
1800:⌈
1794:⌉
1788:⌈
1772:⌋
1766:⌊
1760:⌋
1754:⌊
1751:≤
1748:⌋
1736:⌊
1733:≤
1726:⌋
1720:⌊
1714:⌋
1708:⌊
1615:⌉
1609:⌈
1599:⌉
1587:⌈
1571:⌋
1565:⌊
1555:⌋
1543:⌊
1502:⌋
1496:⌊
1493:≤
1467:≤
1451:≤
1444:⌉
1438:⌈
1419:≤
1406:⌉
1400:⌈
1348:⌋
1342:⌊
1259:≤
1227:⌉
1221:⌈
1208:≤
1192:−
1164:⌋
1158:⌊
1145:≤
1129:−
1095:⌉
1089:⌈
1064:≤
1026:⌋
1020:⌊
979:⌉
973:⌈
947:⌋
941:⌊
903:≤
897:≤
885:−
831:≥
825:∣
817:∈
802:⌉
796:⌈
764:≤
758:∣
750:∈
735:⌋
729:⌊
515:for real
395:−2
392:−2
389:−2
381:−2
378:−3
261:Examples
253:, while
251:⌊2+1⌋ = 3
249:=2, then
241:=2.0001;
221:Although
155:⌈2.4⌉ = 3
147:⌊2.4⌋ = 2
13122:Springer
13081:, SIAM.
13018:Springer
12543:Integers
12425:⌋
12400:⌊
12390:⌋
12373:⌊
12034:, p. 151
12026:, 1998,
12002:, 2015,
11951:See also
11816:⌋
11793:⌊
11668:⌋
11628:⌊
11605:⌋
11565:⌊
11491:⌋
11472:⌊
11464:⌋
11436:⌊
11410:⌋
11368:⌊
11360:⌋
11318:⌊
11292:⌋
11269:⌊
11261:⌋
11246:⌊
11238:⌋
11215:⌊
11207:⌋
11184:⌊
11176:⌋
11161:⌊
11107:⌋
11100:⌋
11085:⌋
11072:⌊
11067:⌊
11025:⌊
10952:⌋
10946:⌋
10916:⌊
10874:⌊
10784:⌋
10757:⌊
10749:⌋
10729:⌊
10721:⌋
10708:⌊
10667:⌋
10654:⌊
10646:⌋
10633:⌊
10625:⌋
10612:⌊
10573:⌋
10536:⌊
10509:⌋
10484:⌊
10327:⌋
10302:⌊
10292:⌋
10275:⌊
10225:divides
10207:⌋
10182:⌊
10172:⌋
10155:⌊
10133:In 1947
9994:< 1,
9754:Letting
9621:′
9266:⌋
9245:⌊
9148:⌉
9135:⌈
8929:in base
8804:⌋
8784:⌊
8776:⌋
8756:⌊
8748:⌋
8735:⌊
8336:⌋
8308:⌊
8108:⌋
8071:⌊
8061:⌉
8024:⌈
8015:⌋
7992:⌊
7950:⌋
7917:⌊
7860:⌋
7831:⌊
7823:⌉
7800:⌈
7761:⌉
7732:⌈
7724:⌋
7701:⌊
7650:rounding
7624:Rounding
7598:⌋
7577:⌊
7524:⌋
7503:⌊
7274:⌋
7256:⌊
7242:⌋
7224:⌊
7216:⌋
7203:⌊
7195:⌋
7177:⌊
7163:⌋
7145:⌊
7137:⌋
7124:⌊
7083:⌋
7065:⌊
7051:⌋
7033:⌊
7025:⌋
7012:⌊
6959:⌋
6941:⌊
6927:⌋
6909:⌊
6901:⌋
6888:⌊
6585:, i.e.,
6554:⌋
6541:⌊
5946:⌉
5928:⌈
5920:⌉
5891:⌈
5866:⌋
5848:⌊
5840:⌋
5811:⌊
5762:⌋
5738:⌊
5689:⌋
5676:⌊
5652:⌋
5639:⌊
5581:⌋
5568:⌊
5550:Indeed,
5502:⌉
5489:⌈
5473:⌉
5460:⌈
5394:⌋
5381:⌊
5365:⌋
5352:⌊
5272:⌋
5236:⌊
5222:⌋
5198:⌊
5190:⌋
5169:⌊
5161:⌋
5135:⌊
5121:⌋
5085:⌊
5071:⌋
5047:⌊
5039:⌋
5018:⌊
5010:⌋
4984:⌊
4940:⌋
4910:⌊
4896:⌋
4878:⌊
4870:⌋
4844:⌊
4836:⌋
4806:⌊
4792:⌋
4774:⌊
4766:⌋
4740:⌊
4552:⌉
4534:⌈
4420:⌋
4402:⌊
4264:⌋
4246:⌊
4199:For all
4174:⌉
4153:⌈
4145:⌉
4118:⌈
4110:⌋
4084:⌊
4050:⌋
4029:⌊
4021:⌋
3994:⌊
3986:⌉
3960:⌈
3925:⌋
3896:⌊
3882:⌋
3861:⌊
3853:⌋
3847:⌊
3804:⌉
3775:⌈
3761:⌉
3740:⌈
3732:⌉
3726:⌈
3672:⌉
3646:⌈
3638:⌋
3612:⌊
3571:⌋
3544:⌊
3530:⌋
3509:⌊
3501:⌋
3475:⌊
3441:⌉
3414:⌈
3400:⌉
3379:⌈
3371:⌉
3345:⌈
3304:⌉
3277:⌈
3269:⌉
3248:⌈
3220:⌋
3193:⌊
3185:⌋
3164:⌊
3010:⌉
2994:⌈
2964:⌋
2948:⌊
2845:⌉
2829:⌈
2799:⌋
2783:⌊
2732:∉
2725:if
2700:if
2618:∉
2611:if
2586:if
2507:∉
2500:if
2472:if
2230:identity
2197:∉
695:integers
628:⌋
609:⌊
590:⌉
571:⌈
554:} < 1
541:For all
405:Notation
281:Ceiling
79:function
13219:, 2001
13111:, Wiley
12862:18 July
12857:module"
12823:18 July
12798:18 July
12122:27 July
12010:(n.p.)
11874:ceiling
11734:FORTRAN
10364:be the
8566:English
8555:where:
8471:strings
8245:uniform
7967:), and
6825:First,
6643:and if
4486:coprime
4354:coprime
654:\rfloor
641:In the
503:is the
328:0.0001
319:2.0001
255:⌈2⌉ = 2
90:integer
77:is the
13189:
13164:
13146:
13128:
13085:
13068:
13042:
13024:
12524:p. 332
12522:Papers
12030:
12014:et al.
12006:
11902:entier
11862:Python
11860:, and
11698:Mahler
11679:
11041:
8872:where
6472:, the
6335:gives
6030:, and
3067:≠ 0,
1123:
1120:
1042:
1039:
933:where
625:
623:U+230B
606:
604:U+230A
587:
585:U+2309
568:
566:U+2308
370:0.999
361:2.999
271:Floor
223:floor(
182:entier
157:, and
106:floor(
73:, the
12816:floor
12614:floor
12551:arXiv
12539:(PDF)
11945:FLOOR
11941:FLOOR
11921:FLOOR
11917:FLOOR
11898:ALGOL
11894:>.
11890:<.
11880:uses
11866:floor
11850:Julia
10976:≥ 2,
10825:that
10459:Then
8937:>
7963:(see
3695:(See
2420:and:
643:LaTeX
550:0 ≤ {
231:ceil(
209:⌋ = ⌈
180:, or
136:ceil(
116:maps
13187:ISBN
13162:ISBN
13144:ISBN
13126:ISBN
13083:ISBN
13066:ISBN
13040:ISBN
13022:ISBN
12982:2021
12961:2021
12940:2021
12919:2021
12898:2011
12864:2013
12855:math
12825:2013
12800:2013
12791:ceil
12775:2024
12750:2018
12725:2018
12700:2019
12674:2019
12648:2010
12639:ceil
12623:2010
12245:OEIS
12124:2024
12028:ISBN
12004:ISBN
11939:and
11900:uses
11870:ceil
11868:and
11846:Java
11610:>
10809:Let
9978:For
9811:and
9799:for
9502:<
9185:and
8949:The
8704:Let
8690:For
8571:the
8360:base
8243:– a
8166:for
6714:and
6710:Let
6677:>
6622:<
6577:mod
6496:and
6480:mod
6447:for
6257:for
5319:>
4963:and
4724:and
4491:and
4359:and
4203:and
3590:For
3059:and
1689:and
1397:<
1371:<
1355:<
1323:<
1265:<
1202:<
1139:<
1070:<
909:<
891:<
867:and
689:and
681:and
663:and
651:and
528:} =
499:The
457:and
409:The
384:0.3
356:0.9
347:2.9
342:0.4
333:2.4
229:and
213:⌉ =
199:For
161:.
13097:IEC
13093:ISO
12594:doi
11937:INT
11913:INT
11907:In
11878:APL
11854:PHP
11844:,
11838:C++
11764:by
11740:An
11732:).
11145:If
9803:of
9250:log
9083:lim
8670:of
8417:log
8384:log
8369:is
8137:rpi
7901:sgn
7783:rni
7684:rpi
6668:mod
6613:mod
6588:if
6519:mod
6408:sin
6218:sin
4495:),
4307:gcd
3323:If
3148:If
3055:If
808:min
741:max
532:− ⌊
488:or
413:or
257:.
225:x+1
184:of
134:or
104:or
69:In
13279::
13261:.
13242:.
13227:,
13215:,
13209:,
13124:,
13099:.
13064:,
13020:,
12889:.
12766:.
12741:.
12716:.
12691:.
12665:.
12588:.
12549:.
12547:22
12545:.
12541:.
12466:^
12016:,
11931:,
11882:⌊x
11856:,
11852:,
11848:,
11842:C#
11840:,
11836:,
11142:.
10662:27
10340:2.
9988:it
9986:+
9982:=
9416:15
8941:.
8213:.
7885:ri
7873:.
7648:,
7448::
6500:,
6004:,
5799::
5334:,
5299:.
3699:)
2766::
2232::
1889::
1274:1.
918:1.
669:.
545:,
513:}
431:.
398:0
367:3
364:2
353:3
350:2
339:3
336:2
325:3
322:2
314:0
311:2
308:2
305:2
299:}
218:.
176:,
172:,
149:,
142:.
13267:.
13248:.
13095:/
12984:.
12963:.
12942:.
12921:.
12900:.
12866:.
12841:.
12827:.
12802:.
12777:.
12752:.
12727:.
12702:.
12676:.
12650:.
12625:.
12600:.
12596::
12590:4
12559:.
12553::
12501:"
12452:.
12440:1
12437:=
12432:)
12418:m
12414:1
12408:n
12383:m
12380:n
12366:(
12354:n
12344:1
12341:=
12338:m
12323:n
12319:n
12126:.
12082:.
11858:R
11834:C
11810:n
11806:2
11801:/
11797:x
11772:n
11752:x
11718:C
11702:k
11682:?
11676:2
11661:k
11655:)
11646:2
11643:3
11635:(
11618:k
11614:2
11598:k
11592:)
11583:2
11580:3
11572:(
11558:k
11554:2
11545:k
11541:3
11527:k
11495:.
11486:2
11483:+
11480:n
11477:4
11468:=
11458:1
11455:+
11452:n
11447:+
11442:n
11414:,
11401:4
11398:1
11392:+
11389:n
11384:+
11378:2
11375:1
11364:=
11351:2
11348:1
11342:+
11339:n
11334:+
11328:2
11325:1
11296:,
11286:6
11282:3
11279:+
11276:n
11265:+
11255:2
11252:n
11242:=
11232:6
11228:4
11225:+
11222:n
11211:+
11201:6
11197:2
11194:+
11191:n
11180:+
11170:3
11167:n
11147:n
11112:.
11094:j
11091:k
11080:k
11077:j
11061:j
11056:2
11053:=
11050:k
11036:/
11030:1
11018:n
11013:2
11010:=
11007:j
10999:=
10996:)
10993:n
10990:(
10974:n
10957:.
10941:j
10937:!
10934:)
10931:1
10925:j
10922:(
10907:j
10903:1
10900:+
10897:!
10894:)
10891:1
10885:j
10882:(
10867:n
10862:2
10859:=
10856:j
10848:=
10845:)
10842:n
10839:(
10819:x
10815:x
10813:(
10811:π
10788:,
10771:2
10766:2
10761:2
10753:,
10738:2
10733:2
10725:,
10712:2
10694:ω
10671:,
10650:,
10641:9
10629:,
10620:3
10594:θ
10577:.
10562:2
10558:)
10554:1
10548:n
10545:(
10541:r
10530:1
10524:n
10521:2
10517:r
10498:2
10494:n
10489:r
10480:=
10475:n
10471:p
10444:.
10437:2
10433:m
10425:r
10419:m
10415:p
10404:1
10401:=
10398:m
10390:=
10374:α
10370:r
10366:n
10361:n
10357:p
10337:=
10333:)
10320:m
10316:1
10310:n
10285:m
10282:n
10269:(
10258:1
10255:=
10252:m
10231:n
10227:n
10223:m
10200:m
10196:1
10190:n
10165:m
10162:n
10118:.
10112:d
10103:t
10100:i
10093:e
10089:)
10080:e
10064:e
10057:(
10042:e
10020:s
10017:=
10014:)
10011:s
10008:(
9992:σ
9984:σ
9980:s
9973:x
9969:s
9965:s
9948:.
9943:2
9940:1
9935:+
9929:1
9923:s
9919:1
9914:+
9911:x
9908:d
9900:1
9897:+
9894:s
9890:x
9885:}
9882:x
9879:{
9871:2
9868:1
9853:1
9845:s
9842:=
9839:)
9836:s
9833:(
9817:b
9813:b
9809:a
9805:s
9785:s
9778:n
9774:=
9771:)
9768:n
9765:(
9739:.
9736:)
9733:b
9730:(
9723:)
9716:2
9713:1
9704:}
9701:b
9698:{
9694:(
9687:)
9684:a
9681:(
9674:)
9667:2
9664:1
9655:}
9652:a
9649:{
9645:(
9641:+
9638:x
9635:d
9631:)
9628:x
9625:(
9613:)
9606:2
9603:1
9594:}
9591:x
9588:{
9584:(
9578:b
9573:a
9565:+
9562:x
9559:d
9555:)
9552:x
9549:(
9541:b
9536:a
9528:=
9525:)
9522:n
9519:(
9511:b
9505:n
9499:a
9471:)
9468:x
9465:(
9427:+
9423:)
9413:1
9395:8
9392:1
9385:(
9381:3
9378:+
9374:)
9367:7
9364:1
9352:6
9349:1
9343:+
9337:5
9334:1
9322:4
9319:1
9312:(
9308:2
9305:+
9299:3
9296:1
9284:2
9281:1
9275:=
9270:k
9262:k
9254:2
9237:k
9233:)
9229:1
9223:(
9213:2
9210:=
9207:k
9199:=
9170:,
9166:)
9160:k
9157:n
9143:k
9140:n
9130:(
9124:n
9119:1
9116:=
9113:k
9103:n
9100:1
9087:n
9079:=
9053:,
9050:x
9047:d
9042:)
9036:x
9033:1
9019:x
9012:1
9006:(
8995:1
8987:=
8939:n
8935:p
8931:p
8927:n
8911:k
8907:p
8901:k
8897:a
8891:k
8883:=
8880:n
8854:1
8848:p
8841:k
8837:a
8831:k
8820:n
8814:=
8808:+
8797:3
8793:p
8789:n
8780:+
8769:2
8765:p
8761:n
8752:+
8743:p
8740:n
8718:n
8714:p
8710:p
8706:n
8693:n
8680:e
8673:n
8663:n
8655:k
8640:)
8637:1
8634:+
8631:k
8625:n
8622:(
8616:)
8613:1
8607:n
8604:(
8601:n
8598:=
8593:k
8589:)
8585:n
8582:(
8568:)
8561:n
8537:!
8534:n
8531:e
8525:=
8520:n
8516:)
8512:n
8509:(
8506:+
8500:+
8495:0
8491:)
8487:n
8484:(
8449:.
8442:)
8439:1
8436:+
8433:k
8430:(
8421:b
8410:=
8407:1
8404:+
8397:k
8388:b
8367:k
8363:b
8349:,
8330:2
8327:1
8322:+
8314:x
8298:=
8295:)
8292:x
8289:(
8286:Q
8227:x
8201:)
8198:1
8192:x
8189:2
8186:(
8180:4
8177:1
8147:)
8144:x
8141:(
8116:1
8103:)
8100:1
8094:x
8091:2
8088:(
8082:4
8079:1
8056:)
8053:1
8047:x
8044:2
8041:(
8035:4
8032:1
8019:+
8008:2
8005:1
7999:+
7996:x
7988:=
7982:x
7943:2
7940:1
7934:+
7930:|
7926:x
7922:|
7913:)
7910:x
7907:(
7898:=
7895:)
7892:x
7889:(
7853:x
7850:2
7841:2
7838:1
7827:=
7816:2
7813:1
7804:x
7796:=
7793:)
7790:x
7787:(
7754:x
7751:2
7742:2
7739:1
7728:=
7717:2
7714:1
7708:+
7705:x
7697:=
7694:)
7691:x
7688:(
7659:x
7636:x
7604:.
7593:6
7589:1
7586:+
7583:p
7572:)
7568:1
7562:(
7559:=
7551:)
7546:p
7543:3
7538:(
7530:,
7519:4
7515:1
7512:+
7509:p
7498:)
7494:1
7488:(
7485:=
7477:)
7472:p
7469:2
7464:(
7446:p
7429:.
7422:2
7418:1
7412:q
7404:2
7400:1
7394:p
7387:)
7383:1
7377:(
7374:=
7369:n
7366:m
7362:)
7358:1
7352:(
7349:=
7345:)
7340:p
7337:q
7332:(
7327:)
7322:q
7319:p
7314:(
7287:.
7284:n
7281:m
7278:=
7269:q
7265:p
7262:n
7252:+
7246:+
7237:q
7233:p
7230:2
7220:+
7211:q
7208:p
7199:+
7190:p
7186:q
7183:m
7173:+
7167:+
7158:p
7154:q
7151:2
7141:+
7132:p
7129:q
7089:.
7078:q
7074:p
7071:n
7061:+
7055:+
7046:q
7042:p
7039:2
7029:+
7020:q
7017:p
7007:)
7003:1
6997:(
6994:=
6986:)
6981:q
6978:p
6973:(
6965:,
6954:p
6950:q
6947:m
6937:+
6931:+
6922:p
6918:q
6915:2
6905:+
6896:p
6893:q
6883:)
6879:1
6873:(
6870:=
6862:)
6857:p
6854:q
6849:(
6811:.
6808:)
6805:1
6799:q
6796:(
6790:2
6787:1
6781:=
6778:n
6759:,
6756:)
6753:1
6747:p
6744:(
6738:2
6735:1
6729:=
6726:m
6716:q
6712:p
6683:.
6680:y
6672:y
6664:x
6658:0
6645:y
6628:,
6625:y
6617:y
6609:x
6603:0
6590:y
6583:y
6579:y
6575:x
6558:.
6549:y
6546:x
6537:y
6531:x
6528:=
6523:y
6515:x
6502:y
6498:y
6494:x
6490:y
6486:x
6482:y
6478:x
6470:y
6466:x
6449:x
6433:k
6429:)
6426:x
6423:k
6417:2
6414:(
6395:1
6392:=
6389:k
6376:1
6371:+
6366:2
6363:1
6355:x
6352:=
6346:x
6323:}
6320:x
6317:{
6311:x
6308:=
6302:x
6286:y
6282:x
6278:y
6274:y
6270:x
6266:y
6259:x
6243:k
6239:)
6236:x
6233:k
6227:2
6224:(
6205:1
6202:=
6199:k
6186:1
6176:2
6173:1
6168:=
6165:}
6162:x
6159:{
6128:}
6125:x
6122:{
6099:x
6069:x
6044:}
6041:x
6038:{
6015:x
5989:x
5950:.
5940:n
5937:m
5933:x
5924:=
5915:n
5908:m
5904:/
5900:x
5860:n
5857:m
5853:x
5844:=
5835:n
5828:m
5824:/
5820:x
5797:x
5795:,
5793:m
5789:n
5767:.
5757:n
5753:/
5746:x
5733:=
5727:n
5723:/
5719:x
5693:,
5684:n
5681:x
5669:m
5647:m
5644:x
5632:n
5622:m
5619:x
5611:n
5601:n
5598:x
5590:m
5576:n
5573:x
5561:m
5535:.
5530:m
5523:x
5511:n
5497:m
5494:x
5482:n
5468:n
5465:x
5453:m
5427:.
5422:m
5415:x
5403:n
5389:m
5386:x
5374:n
5360:n
5357:x
5345:m
5322:0
5316:n
5313:,
5310:m
5276:.
5267:m
5263:x
5260:+
5257:n
5254:)
5251:1
5245:m
5242:(
5232:+
5226:+
5217:m
5213:x
5210:+
5207:n
5204:2
5194:+
5185:m
5181:x
5178:+
5175:n
5165:+
5156:m
5148:1
5141:x
5129:=
5116:n
5112:x
5109:+
5106:m
5103:)
5100:1
5094:n
5091:(
5081:+
5075:+
5066:n
5062:x
5059:+
5056:m
5053:2
5043:+
5034:n
5030:x
5027:+
5024:m
5014:+
5005:n
4997:1
4990:x
4965:n
4961:m
4944:.
4935:m
4931:n
4928:)
4925:1
4919:m
4916:(
4906:+
4900:+
4891:m
4887:n
4884:2
4874:+
4865:m
4857:1
4850:n
4840:=
4831:n
4827:m
4824:)
4821:1
4815:n
4812:(
4802:+
4796:+
4787:n
4783:m
4780:2
4770:+
4761:n
4753:1
4746:m
4726:n
4722:m
4704:.
4701:)
4698:1
4692:n
4689:(
4683:2
4680:1
4674:=
4670:}
4665:n
4661:m
4658:k
4652:{
4646:1
4640:n
4635:1
4632:=
4629:k
4601:,
4598:)
4595:1
4589:n
4586:(
4583:)
4580:1
4577:+
4574:m
4571:(
4565:2
4562:1
4556:=
4547:n
4543:m
4540:k
4528:1
4522:n
4517:1
4514:=
4511:k
4493:n
4489:m
4469:,
4466:)
4463:1
4457:n
4454:(
4451:)
4448:1
4442:m
4439:(
4433:2
4430:1
4424:=
4415:n
4411:m
4408:k
4396:1
4390:n
4385:1
4382:=
4379:k
4361:n
4357:m
4337:,
4332:2
4328:1
4322:)
4319:n
4316:,
4313:m
4310:(
4304:+
4301:)
4298:1
4292:n
4289:(
4286:)
4283:1
4277:m
4274:(
4268:=
4259:n
4255:m
4252:k
4240:1
4234:n
4229:1
4226:=
4223:k
4205:n
4201:m
4184:,
4181:1
4169:m
4165:1
4162:+
4159:n
4149:=
4140:m
4136:1
4133:+
4130:m
4124:n
4114:=
4105:m
4097:1
4090:n
4060:,
4057:1
4054:+
4045:m
4041:1
4035:n
4025:=
4016:m
4012:1
4006:m
4003:+
4000:n
3990:=
3981:m
3973:1
3966:n
3946:m
3929:.
3919:m
3915:1
3909:m
3903:+
3900:x
3892:+
3886:+
3876:m
3873:1
3868:+
3865:x
3857:+
3850:x
3843:=
3837:x
3834:m
3808:,
3798:m
3794:1
3788:m
3779:x
3771:+
3765:+
3755:m
3752:1
3744:x
3736:+
3729:x
3722:=
3716:x
3713:m
3693:m
3676:.
3667:2
3659:1
3652:n
3642:+
3633:2
3625:1
3618:n
3608:=
3605:n
3592:m
3575:.
3566:m
3562:1
3556:m
3553:+
3550:n
3540:+
3534:+
3525:m
3521:1
3518:+
3515:n
3505:+
3496:m
3488:1
3481:n
3471:=
3468:n
3445:,
3436:m
3432:1
3429:+
3426:m
3420:n
3410:+
3404:+
3395:m
3391:1
3385:n
3375:+
3366:m
3358:1
3351:n
3341:=
3338:n
3325:m
3308:.
3299:n
3295:m
3292:+
3286:x
3273:=
3264:n
3260:m
3257:+
3254:x
3224:,
3215:n
3211:m
3208:+
3202:x
3189:=
3180:n
3176:m
3173:+
3170:x
3150:n
3133:.
3126:|
3122:n
3118:|
3113:1
3105:1
3098:}
3093:n
3090:m
3085:{
3078:0
3065:n
3061:n
3057:m
3025:x
3019:=
3002:x
2985:,
2979:x
2973:=
2956:x
2912:.
2909:}
2906:x
2903:{
2900:=
2891:}
2886:}
2883:x
2880:{
2875:{
2866:,
2860:x
2854:=
2837:x
2820:,
2814:x
2808:=
2791:x
2740:.
2736:Z
2729:x
2719:1
2711:Z
2704:x
2694:0
2688:{
2683:=
2680:}
2677:x
2671:{
2668:+
2665:}
2662:x
2659:{
2626:.
2622:Z
2615:x
2605:1
2597:Z
2590:x
2580:0
2574:{
2569:=
2563:x
2554:+
2548:x
2515:,
2511:Z
2504:x
2494:1
2483:Z
2476:x
2466:0
2460:{
2455:=
2449:x
2440:+
2434:x
2398:x
2389:=
2379:x
2363:x
2354:=
2344:x
2331:0
2328:=
2318:x
2309:+
2303:x
2270:.
2267:n
2264:=
2258:n
2252:=
2246:n
2226:n
2201:Z
2194:x
2182:1
2174:Z
2167:x
2155:0
2149:{
2144:=
2138:x
2126:x
2111:x
2097:,
2091:x
2079:x
2041:.
2033:2
2029:x
2014:1
2010:x
1994:2
1990:x
1981:1
1977:x
1969:,
1961:2
1957:x
1942:1
1938:x
1922:2
1918:x
1909:1
1905:x
1861:.
1855:y
1849:+
1843:x
1831:y
1828:+
1825:x
1812:1
1803:y
1797:+
1791:x
1781:,
1778:1
1775:+
1769:y
1763:+
1757:x
1745:y
1742:+
1739:x
1723:y
1717:+
1711:x
1691:y
1687:x
1683:n
1662:.
1659:}
1656:x
1653:{
1650:=
1643:}
1640:n
1637:+
1634:x
1631:{
1624:,
1621:n
1618:+
1612:x
1606:=
1596:n
1593:+
1590:x
1580:,
1577:n
1574:+
1568:x
1562:=
1552:n
1549:+
1546:x
1526:n
1505:.
1499:x
1486:n
1470:x
1464:n
1457:,
1454:n
1441:x
1422:n
1416:x
1409:,
1403:x
1390:n
1374:x
1368:n
1361:,
1358:n
1345:x
1326:n
1320:x
1271:+
1268:x
1262:n
1252:x
1237:n
1234:=
1224:x
1214:,
1211:x
1205:m
1195:1
1189:x
1174:m
1171:=
1161:x
1151:,
1148:n
1142:x
1132:1
1126:n
1105:n
1102:=
1092:x
1082:,
1079:1
1076:+
1073:m
1067:x
1057:m
1036:m
1033:=
1023:x
985:n
982:=
976:x
953:m
950:=
944:x
915:+
912:x
906:n
900:x
894:m
888:1
882:x
869:n
865:m
861:x
840:.
837:}
834:x
828:n
821:Z
814:n
811:{
805:=
799:x
773:,
770:}
767:x
761:m
754:Z
747:m
744:{
738:=
732:x
705:Z
691:n
687:m
683:y
679:x
637:)
633:(
618:)
614:(
599:)
595:(
580:)
576:(
556:.
552:x
543:x
536:⌋
534:x
530:x
526:x
524:{
517:x
511:x
509:{
494:[
492:x
490:]
486:⟦
484:x
482:⟧
478:⟧
476:x
474:⟦
463:⌉
461:x
459:⌈
455:⌋
453:x
451:⌊
297:x
295:{
287:⌉
285:x
283:⌈
277:⌋
275:x
273:⌊
267:x
247:x
239:x
235:)
233:x
227:)
215:n
211:n
207:n
205:⌊
201:n
186:x
166:x
140:)
138:x
132:⌉
130:x
128:⌈
123:x
118:x
110:)
108:x
102:⌋
100:x
98:⌊
94:x
86:x
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.