5745:
5336:
2717:
5763:
1839:
5740:{\displaystyle \sum _{n=0}^{\infty }\|f_{n}^{(k)}\|_{\infty }\leq \sum _{n=0}^{k+1}{\frac {|\alpha _{n}|}{n!\,\lambda _{n}^{n-k}}}\|\psi _{n}^{(k)}\|_{\infty }+\sum _{n=k+2}^{\infty }{\frac {1}{n!}}\underbrace {\frac {1}{\lambda _{n}^{n-k-2}}} _{\leq \,1}\underbrace {\frac {|\alpha _{n}|}{\lambda _{n}}} _{\leq \,1}\underbrace {\frac {\|\psi _{n}^{(k)}\|_{\infty }}{\lambda _{n}}} _{\leq \,1}<\infty ,}
3647:
1411:
991:
4716:
3353:
5073:
458:
5226:
4883:
4488:
1834:{\displaystyle {\begin{aligned}f^{(n+1)}(x)&={\biggl (}{\frac {p'_{n}(x)}{x^{2n}}}-2n{\frac {p_{n}(x)}{x^{2n+1}}}+{\frac {p_{n}(x)}{x^{2n+2}}}{\biggr )}f(x)\\&={\frac {x^{2}p'_{n}(x)-(2nx-1)p_{n}(x)}{x^{2n+2}}}f(x)\\&={\frac {p_{n+1}(x)}{x^{2(n+1)}}}f(x),\end{aligned}}}
2277:
2081:
771:
1388:
4517:
260:
2691:
1178:
3950:
3642:{\displaystyle F_{>q}^{(n)}(x):=\sum _{k\in \mathbb {N} \atop k>q}e^{-{\sqrt {2^{k}}}}{(2^{k})}^{n}\cos(2^{k}x)=\sum _{k\in \mathbb {N} \atop k>q}e^{-{\sqrt {2^{k}}}}{(2^{k})}^{n}\geq e^{-n}n^{2n}\quad (\mathrm {as} \;n\to \infty )}
6074:
4898:
2876:
2549:
305:
5881:
5322:
5095:
2963:
2426:
710:
4742:
4361:
4332:
2122:
621:
4234:
1892:
986:{\displaystyle {\frac {1}{x^{m}}}=x{\Bigl (}{\frac {1}{x}}{\Bigr )}^{m+1}\leq (m+1)!\,x\sum _{n=0}^{\infty }{\frac {1}{n!}}{\Bigl (}{\frac {1}{x}}{\Bigr )}^{n}=(m+1)!\,xe^{\frac {1}{x}},\qquad x>0,}
5976:
defined in this article to be analytic in spite of its being infinitely differentiable is an indication of one of the most dramatic differences between real-variable and complex-variable analysis.
1416:
4711:{\displaystyle \lambda _{n}=\max {\bigl \{}1,|\alpha _{n}|,\|\psi _{n}\|_{\infty },\|\psi _{n}^{(1)}\|_{\infty },\ldots ,\|\psi _{n}^{(n)}\|_{\infty }{\bigr \}},\qquad n\in \mathbb {N} _{0},}
1244:
153:
2578:
3083:
3794:
5954:
3822:
3285:
3139:
3111:
2991:
2769:
1070:
1058:
3829:
3738:
3698:
4091:
3198:
4049:
3991:
1026:
3345:
3311:
3257:
3224:
3031:
6005:
1203:, and the fact that the derivative of the exponential function is again the exponential function, we see that the formula is correct for the first derivative of
4069:
4011:
3159:
763:
5068:{\displaystyle f_{n}^{(k)}(x)={\frac {\alpha _{n}}{n!\,\lambda _{n}^{n-k}}}\psi _{n}^{(k)}(\lambda _{n}x),\qquad k,n\in \mathbb {N} _{0},\;x\in \mathbb {R} ,}
2776:
453:{\displaystyle f^{(n)}(x)={\begin{cases}\displaystyle {\frac {p_{n}(x)}{x^{2n}}}\,f(x)&{\text{if }}x>0,\\0&{\text{if }}x\leq 0,\end{cases}}}
4127:
on the real line which has these numbers as derivatives at the origin. In particular, every sequence of numbers can appear as the coefficients of the
2311:
2477:
132:
5221:{\displaystyle f_{n}^{(k)}(0)={\begin{cases}\alpha _{n}&{\text{if }}k=n,\\0&{\text{otherwise,}}\end{cases}}\qquad k,n\in \mathbb {N} _{0}.}
5788:
5237:
2884:
2328:
642:
4878:{\displaystyle f_{n}(x)={\frac {\alpha _{n}}{n!\,\lambda _{n}^{n}}}\psi _{n}(\lambda _{n}x),\qquad n\in \mathbb {N} _{0},\;x\in \mathbb {R} .}
4483:{\displaystyle \psi _{n}^{(k)}(0)={\begin{cases}n!&{\text{if }}k=n,\\0&{\text{otherwise,}}\end{cases}}\quad k,n\in \mathbb {N} _{0},}
4257:
2272:{\displaystyle \sum _{n=0}^{\infty }{\frac {f^{(n)}(0)}{n!}}x^{n}=\sum _{n=0}^{\infty }{\frac {0}{n!}}x^{n}=0,\qquad x\in \mathbb {R} ,}
5969:
6169:
6154:
See e.g. Chapter V, Section 2, Theorem 2.8 and
Corollary 2.9 about the differentiability of the limits of sequences of functions in
6143:
2076:{\displaystyle \lim _{x\searrow 0}{\frac {f^{(n)}(x)-f^{(n)}(0)}{x-0}}=\lim _{x\searrow 0}{\frac {p_{n}(x)}{x^{2n+1}}}\,e^{-1/x}=0.}
4152:
506:
6087:, it attains every complex value (with the exception of zero) infinitely many times in every neighbourhood of the origin.
17:
1383:{\displaystyle f'(0)=\lim _{x\searrow 0}{\frac {f(x)-f(0)}{x-0}}=\lim _{x\searrow 0}{\frac {e^{-{\frac {1}{x}}}}{x}}=0.}
255:{\displaystyle f(x)={\begin{cases}e^{-{\frac {1}{x}}}&{\text{if }}x>0,\\0&{\text{if }}x\leq 0,\end{cases}}}
2720:
Approximation of the smooth-everywhere, but nowhere-analytic function mentioned here. This partial sum is taken from
2686:{\displaystyle \mathbb {R} \ni x\mapsto g{\Bigl (}{\frac {x-a}{b-a}}{\Bigr )}\,g{\Bigl (}{\frac {d-x}{d-c}}{\Bigr )}}
2732:
85:
5327:
is well defined and can be differentiated term-by-term infinitely many times. To this end, observe that for every
6211:
633:. From this formula, it is not completely clear that the derivatives are continuous at 0; this follows from the
3040:
4243:
is also smooth; it equals 1 on the closed interval and vanishes outside the open interval (−2,2). Using
4014:
104:
39:
6188:
1192:
479:
54:
47:
1173:{\displaystyle \lim _{x\searrow 0}{\frac {e^{-{\frac {1}{x}}}}{x^{m}}}\leq (m+1)!\lim _{x\searrow 0}x=0.}
6080:
5984:
5903:
3956:
3945:{\displaystyle \limsup _{n\to \infty }\left({\frac {|F_{>q}^{(n)}(x)|}{n!}}\right)^{1/n}=+\infty \,,}
3743:
92:
5917:
3799:
3262:
3116:
3088:
2968:
2746:
1031:
6161:
6084:
2101:
739:
77:
5137:
4403:
3703:
3655:
342:
177:
4494:
2998:
285:
4074:
3164:
91:
The existence of smooth but non-analytic functions represents one of the main differences between
5907:
2994:
115:
2310:
4024:
3966:
2716:
999:
131:
6165:
6139:
4017:. Since the set of analyticity of a function is an open set, and since dyadic rationals are
3316:
2993:, this function is easily seen to be of class C, by a standard inductive application of the
2299:
43:
3290:
3229:
2459: ≥ 1, hence it provides a smooth transition from the level 0 to the level 1 in the
6069:{\displaystyle \mathbb {C} \setminus \{0\}\ni z\mapsto e^{-{\frac {1}{z}}}\in \mathbb {C} ,}
5965:
4132:
4102:
3203:
96:
81:
58:
6101:
5899:
3034:
3007:
1200:
1061:
634:
69:
35:
5887:
5762:
4136:
4120:
4054:
3996:
3144:
2740:
748:
743:
103:, this difference can be stated as follows: the sheaf of differentiable functions on a
62:
6205:
6106:
6096:
5996:
4722:
4128:
3960:
2705:
2460:
2113:
2105:
6131:
100:
2871:{\displaystyle F(x):=\sum _{k\in \mathbb {N} }e^{-{\sqrt {2^{k}}}}\cos(2^{k}x)\ .}
716:
266:
51:
31:
2544:{\displaystyle \mathbb {R} \ni x\mapsto g{\Bigl (}{\frac {x-a}{b-a}}{\Bigr )}.}
6193:
5751:
4889:
1196:
475:
288:
108:
1230: < 0. It remains to show that the right-hand side derivative of
6111:
6083:
at the origin, and hence is not even continuous, much less analytic. By the
5876:{\displaystyle \mathbb {R} ^{n}\ni x\mapsto \Psi _{r}(x)=f(r^{2}-\|x\|^{2})}
5317:{\displaystyle F(x)=\sum _{n=0}^{\infty }f_{n}(x),\qquad x\in \mathbb {R} ,}
4018:
486:
296:
73:
2958:{\displaystyle \sum _{k\in \mathbb {N} }e^{-{\sqrt {2^{k}}}}{(2^{k})}^{n}}
2421:{\displaystyle g(x)={\frac {f(x)}{f(x)+f(1-x)}},\qquad x\in \mathbb {R} ,}
4338:
2696:
equals 1 on the closed interval and vanishes outside the open interval (
705:{\displaystyle \lim _{x\searrow 0}{\frac {e^{-{\frac {1}{x}}}}{x^{m}}}=0}
4736:
derivatives, are well-defined real numbers. Define the scaled functions
2735:
example is an infinitely differentiable function which is not analytic
2431:
has a strictly positive denominator everywhere on the real line, hence
627:
4123:, the following construction shows the existence of a smooth function
5761:
4327:{\displaystyle \psi _{n}(x)=x^{n}\,h(x),\qquad x\in \mathbb {R} ,}
2715:
2309:
130:
68:
One of the most important applications of smooth functions with
4344:
on and vanishes outside the interval (−2,2). Hence, the
4229:{\displaystyle h(x)=g(2+x)\,g(2-x),\qquad x\in \mathbb {R} .}
1222:) is a polynomial of degree 0. Of course, the derivative of
5186:
4448:
3740:, and we bounded the first sum from below by the term with
2463:. To have the smooth transition in the real interval with
1238: = 0 is zero. Using the above limit, we see that
446:
248:
18:
An infinitely differentiable function that is not analytic
6189:"Infinitely-differentiable function that is not analytic"
1878: < 0. For the right-hand side derivative of
616:{\displaystyle p_{n+1}(x)=x^{2}p_{n}'(x)-(2nx-1)p_{n}(x)}
27:
Mathematical functions which are smooth but not analytic
740:
power series representation of the exponential function
50:. One can easily prove that any analytic function of a
5983:
has derivatives of all orders over the real line, the
6008:
5920:
5791:
5750:
where the remaining infinite series converges by the
5339:
5240:
5098:
4901:
4745:
4520:
4364:
4260:
4155:
4077:
4057:
4027:
3999:
3969:
3832:
3802:
3746:
3706:
3658:
3356:
3319:
3293:
3265:
3232:
3206:
3167:
3147:
3119:
3091:
3043:
3010:
2971:
2887:
2779:
2749:
2581:
2480:
2331:
2125:
1895:
1866: + 1) − 1. Of course, the (
1414:
1247:
1073:
1034:
1002:
774:
751:
645:
509:
345:
308:
156:
114:The functions below are generally used to build up
6068:
5948:
5875:
5739:
5316:
5220:
5067:
4877:
4710:
4482:
4326:
4228:
4085:
4063:
4043:
4005:
3985:
3944:
3816:
3788:
3732:
3692:
3641:
3339:
3305:
3279:
3251:
3218:
3192:
3153:
3133:
3105:
3077:
3025:
2985:
2957:
2870:
2763:
2685:
2543:
2420:
2271:
2075:
1833:
1382:
1172:
1052:
1028:are added. Therefore, dividing this inequality by
1020:
985:
757:
704:
615:
452:
254:
2678:
2645:
2634:
2601:
2533:
2500:
1607:
1459:
916:
898:
818:
800:
5964:This pathology cannot occur with differentiable
4534:
3834:
2712:A smooth function which is nowhere real analytic
1986:
1897:
1332:
1269:
1146:
1075:
647:
4131:of a smooth function. This result is known as
1886: = 0 we obtain with the above limit
4678:
4539:
8:
6023:
6017:
5968:rather than of a real variable. Indeed, all
5861:
5854:
5692:
5667:
5506:
5481:
5386:
5361:
4667:
4642:
4624:
4599:
4587:
4573:
1405: > 0 we get for the derivative
5050:
4860:
3626:
3078:{\displaystyle x:=\pi \cdot p\cdot 2^{-q}}
2112:at the origin converges everywhere to the
2100:is smooth, and all its derivatives at the
726:
6059:
6058:
6043:
6039:
6010:
6009:
6007:
5925:
5919:
5864:
5845:
5817:
5798:
5794:
5793:
5790:
5722:
5718:
5706:
5695:
5679:
5674:
5663:
5656:
5652:
5640:
5630:
5624:
5615:
5611:
5604:
5600:
5576:
5571:
5561:
5545:
5539:
5522:
5509:
5493:
5488:
5466:
5461:
5456:
5443:
5437:
5428:
5425:
5413:
5402:
5389:
5373:
5368:
5355:
5344:
5338:
5307:
5306:
5281:
5271:
5260:
5239:
5209:
5205:
5204:
5178:
5152:
5144:
5132:
5108:
5103:
5097:
5058:
5057:
5041:
5037:
5036:
5007:
4988:
4983:
4964:
4959:
4954:
4941:
4935:
4911:
4906:
4900:
4868:
4867:
4851:
4847:
4846:
4823:
4810:
4797:
4792:
4787:
4774:
4768:
4750:
4744:
4699:
4695:
4694:
4677:
4676:
4670:
4654:
4649:
4627:
4611:
4606:
4590:
4580:
4565:
4559:
4550:
4538:
4537:
4525:
4519:
4471:
4467:
4466:
4440:
4414:
4398:
4374:
4369:
4363:
4317:
4316:
4293:
4287:
4265:
4259:
4219:
4218:
4189:
4154:
4079:
4078:
4076:
4056:
4032:
4026:
3998:
3974:
3968:
3938:
3919:
3915:
3895:
3874:
3866:
3857:
3854:
3837:
3831:
3810:
3809:
3801:
3780:
3764:
3751:
3745:
3724:
3711:
3705:
3672:
3657:
3618:
3605:
3592:
3579:
3569:
3561:
3550:
3544:
3540:
3517:
3516:
3507:
3488:
3469:
3459:
3451:
3440:
3434:
3430:
3407:
3406:
3397:
3369:
3361:
3355:
3329:
3318:
3292:
3273:
3272:
3264:
3243:
3231:
3205:
3172:
3166:
3161:terms is analytic, we need only consider
3146:
3127:
3126:
3118:
3099:
3098:
3090:
3066:
3042:
3009:
2979:
2978:
2970:
2949:
2939:
2931:
2920:
2914:
2910:
2900:
2899:
2892:
2886:
2850:
2827:
2821:
2817:
2807:
2806:
2799:
2778:
2757:
2756:
2748:
2677:
2676:
2650:
2644:
2643:
2639:
2633:
2632:
2606:
2600:
2599:
2583:
2582:
2580:
2532:
2531:
2505:
2499:
2498:
2482:
2481:
2479:
2411:
2410:
2347:
2330:
2262:
2261:
2239:
2220:
2214:
2203:
2190:
2154:
2147:
2141:
2130:
2124:
2057:
2050:
2045:
2028:
2008:
2001:
1989:
1947:
1919:
1912:
1900:
1894:
1789:
1763:
1756:
1717:
1697:
1651:
1641:
1634:
1606:
1605:
1588:
1568:
1561:
1541:
1521:
1514:
1494:
1471:
1464:
1458:
1457:
1423:
1415:
1413:
1357:
1353:
1347:
1335:
1284:
1272:
1246:
1149:
1116:
1100:
1096:
1090:
1078:
1072:
1039:
1033:
1001:
956:
948:
921:
915:
914:
903:
897:
896:
881:
875:
864:
856:
823:
817:
816:
805:
799:
798:
784:
775:
773:
750:
688:
672:
668:
662:
650:
644:
598:
552:
542:
514:
508:
426:
400:
384:
373:
353:
346:
337:
313:
307:
228:
202:
188:
184:
172:
155:
6156:Amann, Herbert; Escher, Joachim (2005),
2282:and so the Taylor series does not equal
299:. The formula for these derivatives is
6123:
6014:
5078:and, using the previous result for the
2739:. It can be constructed by means of a
729:
5972:, so that the failure of the function
111:, in contrast with the analytic case.
61:is not true, as demonstrated with the
5231:It remains to show that the function
4511:is bounded. Therefore, the constants
4251:(including zero) the smooth function
76:, which are important in theories of
7:
4142:With the smooth transition function
996:because all the positive terms for
5970:holomorphic functions are analytic
5922:
5814:
5731:
5696:
5540:
5510:
5390:
5356:
5272:
4671:
4628:
4591:
4247:, define for every natural number
3935:
3844:
3789:{\displaystyle 2^{k}=2^{2m}=n^{2}}
3633:
3622:
3619:
3508:
3398:
2215:
2142:
876:
25:
5949:{\displaystyle \Psi _{r}(0)>0}
3817:{\displaystyle x\in \mathbb {R} }
3280:{\displaystyle m\in \mathbb {N} }
3134:{\displaystyle q\in \mathbb {N} }
3106:{\displaystyle p\in \mathbb {Z} }
2986:{\displaystyle n\in \mathbb {N} }
2764:{\displaystyle x\in \mathbb {R} }
2294: > 0. Consequently,
1183:We now prove the formula for the
135:The non-analytic smooth function
72:is the construction of so-called
5979:Note that although the function
5894:|| defines a smooth function on
5758:Application to higher dimensions
3796:. As a consequence, at any such
3226:. For all orders of derivation
1870: + 1)st derivative of
1053:{\displaystyle e^{\frac {1}{x}}}
46:are two very important types of
6138:. McGraw-Hill, New Delhi 1980,
5966:functions of a complex variable
5299:
5190:
5022:
4888:By repeated application of the
4838:
4686:
4452:
4309:
4211:
3614:
3037:multiple of π, that is, at any
3001:of each series of derivatives.
2403:
2254:
1401: + 1 is similar. For
970:
6032:
5937:
5931:
5870:
5838:
5829:
5823:
5810:
5686:
5680:
5631:
5616:
5500:
5494:
5444:
5429:
5380:
5374:
5293:
5287:
5250:
5244:
5126:
5120:
5115:
5109:
5016:
5000:
4995:
4989:
4929:
4923:
4918:
4912:
4832:
4816:
4762:
4756:
4661:
4655:
4618:
4612:
4566:
4551:
4392:
4386:
4381:
4375:
4303:
4297:
4277:
4271:
4205:
4193:
4186:
4174:
4165:
4159:
3896:
3892:
3886:
3881:
3875:
3858:
3841:
3733:{\displaystyle 2^{k}>2^{q}}
3693:{\displaystyle \cos(2^{k}x)=1}
3681:
3665:
3636:
3630:
3615:
3575:
3562:
3497:
3481:
3465:
3452:
3387:
3381:
3376:
3370:
3187:
3181:
3141:. Since the sum of the first
3020:
3014:
2945:
2932:
2859:
2843:
2789:
2783:
2593:
2492:
2394:
2382:
2373:
2367:
2359:
2353:
2341:
2335:
2172:
2166:
2161:
2155:
2096:As seen earlier, the function
2020:
2014:
1993:
1965:
1959:
1954:
1948:
1937:
1931:
1926:
1920:
1904:
1821:
1815:
1805:
1793:
1781:
1775:
1743:
1737:
1709:
1703:
1690:
1672:
1666:
1660:
1621:
1615:
1580:
1574:
1533:
1527:
1486:
1480:
1447:
1441:
1436:
1424:
1339:
1311:
1305:
1296:
1290:
1276:
1262:
1256:
1153:
1139:
1127:
1082:
942:
930:
850:
838:
654:
610:
604:
591:
573:
567:
561:
532:
526:
394:
388:
365:
359:
331:
325:
320:
314:
166:
160:
1:
4119:, . . . of real or
2435:is also smooth. Furthermore,
291:of all orders at every point
118:on differentiable manifolds.
5991:from the positive half-line
4097:Application to Taylor series
4086:{\displaystyle \mathbb {R} }
3652:where we used the fact that
3200:, the sum of the terms with
3193:{\displaystyle F_{>q}(x)}
2092:The function is not analytic
1858:) is a polynomial of degree
731:Detailed proof of smoothness
143:) considered in the article.
6130:Exercise 12 on page 418 in
2743:as follows. Define for all
2704:), hence it can serve as a
2306:Smooth transition functions
2104:are 0. Therefore, the
1211: > 0 and that
485: − 1 given
6228:
4100:
127:Definition of the function
6136:Real and Complex Analysis
5995: > 0 to the
4071:, is nowhere analytic in
4044:{\displaystyle F_{>q}}
3986:{\displaystyle F_{>q}}
2318:from 0 to 1 defined here.
1021:{\displaystyle n\neq m+1}
5999:, that is, the function
4504:and every derivative of
4355:at the origin satisfies
3340:{\displaystyle m>q/2}
2471:, consider the function
1393:The induction step from
38:(also called infinitely
4015:Cauchy-Hadamard formula
3306:{\displaystyle m\geq 2}
3252:{\displaystyle n=2^{m}}
3033:is not analytic at any
105:differentiable manifold
6070:
5950:
5877:
5775:
5741:
5544:
5424:
5360:
5318:
5276:
5222:
5069:
4879:
4712:
4484:
4337:which agrees with the
4328:
4230:
4087:
4065:
4045:
4007:
3987:
3946:
3818:
3790:
3734:
3694:
3643:
3341:
3307:
3281:
3253:
3220:
3219:{\displaystyle k>q}
3194:
3155:
3135:
3107:
3079:
3027:
2987:
2959:
2872:
2765:
2728:
2687:
2572:, the smooth function
2545:
2422:
2319:
2314:The smooth transition
2273:
2219:
2146:
2077:
1835:
1384:
1193:mathematical induction
1174:
1054:
1022:
987:
880:
759:
706:
617:
454:
276:The function is smooth
256:
147:Consider the function
144:
6081:essential singularity
6071:
5985:analytic continuation
5951:
5878:
5765:
5742:
5518:
5398:
5340:
5319:
5256:
5223:
5070:
4880:
4713:
4485:
4329:
4231:
4088:
4066:
4046:
4008:
3988:
3957:radius of convergence
3947:
3819:
3791:
3735:
3695:
3644:
3342:
3308:
3282:
3254:
3221:
3195:
3156:
3136:
3108:
3080:
3028:
2988:
2960:
2873:
2766:
2719:
2688:
2546:
2423:
2313:
2274:
2199:
2126:
2078:
1836:
1385:
1175:
1055:
1023:
988:
860:
760:
707:
618:
455:
257:
134:
93:differential geometry
78:generalized functions
6164:, pp. 373–374,
6085:great Picard theorem
6006:
5918:
5789:
5337:
5238:
5096:
4899:
4743:
4518:
4362:
4258:
4153:
4107:For every sequence α
4075:
4055:
4025:
4021:, we conclude that
3997:
3967:
3830:
3800:
3744:
3704:
3656:
3354:
3317:
3291:
3263:
3230:
3204:
3165:
3145:
3117:
3089:
3041:
3026:{\displaystyle F(x)}
3008:
2969:
2885:
2777:
2747:
2579:
2478:
2455:) = 1 for
2443:) = 0 for
2329:
2123:
1893:
1412:
1245:
1071:
1032:
1000:
772:
749:
742:, we have for every
643:
507:
500:) = 1 and
306:
154:
5782: > 0,
5774:) in one dimension.
5690:
5593:
5504:
5477:
5384:
5119:
4999:
4975:
4922:
4802:
4665:
4622:
4495:boundedness theorem
4385:
3885:
3380:
2999:uniform convergence
2447: ≤ 0 and
1659:
1479:
560:
122:An example function
116:partitions of unity
6066:
5946:
5873:
5776:
5737:
5727:
5716:
5670:
5661:
5650:
5609:
5598:
5567:
5484:
5457:
5364:
5314:
5218:
5185:
5099:
5082:-th derivative of
5065:
4979:
4955:
4902:
4875:
4788:
4708:
4645:
4602:
4480:
4447:
4365:
4348:-th derivative of
4324:
4226:
4083:
4061:
4041:
4003:
3983:
3942:
3862:
3848:
3814:
3786:
3730:
3690:
3639:
3535:
3425:
3357:
3337:
3303:
3277:
3249:
3216:
3190:
3151:
3131:
3103:
3075:
3023:
2995:Weierstrass M-test
2983:
2965:converges for all
2955:
2905:
2868:
2812:
2761:
2729:
2683:
2541:
2418:
2320:
2269:
2073:
2000:
1911:
1831:
1829:
1647:
1467:
1380:
1346:
1283:
1170:
1160:
1089:
1050:
1018:
983:
755:
702:
661:
613:
548:
450:
445:
397:
265:defined for every
252:
247:
145:
44:analytic functions
6162:Birkhäuser Verlag
6051:
5778:For every radius
5712:
5664:
5662:
5646:
5612:
5610:
5594:
5562:
5560:
5558:
5479:
5181:
5155:
4977:
4804:
4443:
4417:
4146:as above, define
4064:{\displaystyle F}
4006:{\displaystyle x}
3909:
3833:
3556:
3533:
3503:
3446:
3423:
3393:
3154:{\displaystyle q}
3004:We now show that
2926:
2888:
2881:Since the series
2864:
2833:
2795:
2674:
2630:
2554:For real numbers
2529:
2398:
2233:
2184:
2088:
2087:
2043:
1985:
1980:
1896:
1810:
1732:
1603:
1556:
1503:
1372:
1365:
1331:
1326:
1268:
1187:th derivative of
1145:
1122:
1108:
1074:
1047:
964:
911:
894:
813:
790:
765:(including zero)
758:{\displaystyle m}
694:
680:
646:
626:for any positive
429:
403:
382:
231:
205:
196:
97:analytic geometry
16:(Redirected from
6219:
6212:Smooth functions
6198:
6175:
6174:
6152:
6146:
6128:
6075:
6073:
6072:
6067:
6062:
6054:
6053:
6052:
6044:
6013:
5960:Complex analysis
5955:
5953:
5952:
5947:
5930:
5929:
5882:
5880:
5879:
5874:
5869:
5868:
5850:
5849:
5822:
5821:
5803:
5802:
5797:
5746:
5744:
5743:
5738:
5726:
5717:
5711:
5710:
5701:
5700:
5699:
5689:
5678:
5665:
5660:
5651:
5645:
5644:
5635:
5634:
5629:
5628:
5619:
5613:
5608:
5599:
5592:
5575:
5563:
5559:
5557:
5546:
5543:
5538:
5514:
5513:
5503:
5492:
5480:
5478:
5476:
5465:
5448:
5447:
5442:
5441:
5432:
5426:
5423:
5412:
5394:
5393:
5383:
5372:
5359:
5354:
5323:
5321:
5320:
5315:
5310:
5286:
5285:
5275:
5270:
5227:
5225:
5224:
5219:
5214:
5213:
5208:
5189:
5188:
5182:
5179:
5156:
5153:
5149:
5148:
5118:
5107:
5074:
5072:
5071:
5066:
5061:
5046:
5045:
5040:
5012:
5011:
4998:
4987:
4978:
4976:
4974:
4963:
4946:
4945:
4936:
4921:
4910:
4884:
4882:
4881:
4876:
4871:
4856:
4855:
4850:
4828:
4827:
4815:
4814:
4805:
4803:
4801:
4796:
4779:
4778:
4769:
4755:
4754:
4717:
4715:
4714:
4709:
4704:
4703:
4698:
4682:
4681:
4675:
4674:
4664:
4653:
4632:
4631:
4621:
4610:
4595:
4594:
4585:
4584:
4569:
4564:
4563:
4554:
4543:
4542:
4530:
4529:
4489:
4487:
4486:
4481:
4476:
4475:
4470:
4451:
4450:
4444:
4441:
4418:
4415:
4384:
4373:
4333:
4331:
4330:
4325:
4320:
4292:
4291:
4270:
4269:
4235:
4233:
4232:
4227:
4222:
4092:
4090:
4089:
4084:
4082:
4070:
4068:
4067:
4062:
4050:
4048:
4047:
4042:
4040:
4039:
4012:
4010:
4009:
4004:
3992:
3990:
3989:
3984:
3982:
3981:
3951:
3949:
3948:
3943:
3928:
3927:
3923:
3914:
3910:
3908:
3900:
3899:
3884:
3873:
3861:
3855:
3847:
3823:
3821:
3820:
3815:
3813:
3795:
3793:
3792:
3787:
3785:
3784:
3772:
3771:
3756:
3755:
3739:
3737:
3736:
3731:
3729:
3728:
3716:
3715:
3699:
3697:
3696:
3691:
3677:
3676:
3648:
3646:
3645:
3640:
3625:
3613:
3612:
3600:
3599:
3584:
3583:
3578:
3574:
3573:
3559:
3558:
3557:
3555:
3554:
3545:
3534:
3532:
3521:
3520:
3493:
3492:
3474:
3473:
3468:
3464:
3463:
3449:
3448:
3447:
3445:
3444:
3435:
3424:
3422:
3411:
3410:
3379:
3368:
3346:
3344:
3343:
3338:
3333:
3312:
3310:
3309:
3304:
3286:
3284:
3283:
3278:
3276:
3258:
3256:
3255:
3250:
3248:
3247:
3225:
3223:
3222:
3217:
3199:
3197:
3196:
3191:
3180:
3179:
3160:
3158:
3157:
3152:
3140:
3138:
3137:
3132:
3130:
3112:
3110:
3109:
3104:
3102:
3084:
3082:
3081:
3076:
3074:
3073:
3032:
3030:
3029:
3024:
2992:
2990:
2989:
2984:
2982:
2964:
2962:
2961:
2956:
2954:
2953:
2948:
2944:
2943:
2929:
2928:
2927:
2925:
2924:
2915:
2904:
2903:
2877:
2875:
2874:
2869:
2862:
2855:
2854:
2836:
2835:
2834:
2832:
2831:
2822:
2811:
2810:
2770:
2768:
2767:
2762:
2760:
2726:
2692:
2690:
2689:
2684:
2682:
2681:
2675:
2673:
2662:
2651:
2649:
2648:
2638:
2637:
2631:
2629:
2618:
2607:
2605:
2604:
2586:
2571:
2550:
2548:
2547:
2542:
2537:
2536:
2530:
2528:
2517:
2506:
2504:
2503:
2485:
2467: <
2427:
2425:
2424:
2419:
2414:
2399:
2397:
2362:
2348:
2302:at the origin.
2278:
2276:
2275:
2270:
2265:
2244:
2243:
2234:
2232:
2221:
2218:
2213:
2195:
2194:
2185:
2183:
2175:
2165:
2164:
2148:
2145:
2140:
2082:
2080:
2079:
2074:
2066:
2065:
2061:
2044:
2042:
2041:
2023:
2013:
2012:
2002:
1999:
1981:
1979:
1968:
1958:
1957:
1930:
1929:
1913:
1910:
1840:
1838:
1837:
1832:
1830:
1811:
1809:
1808:
1784:
1774:
1773:
1757:
1749:
1733:
1731:
1730:
1712:
1702:
1701:
1655:
1646:
1645:
1635:
1627:
1611:
1610:
1604:
1602:
1601:
1583:
1573:
1572:
1562:
1557:
1555:
1554:
1536:
1526:
1525:
1515:
1504:
1502:
1501:
1489:
1475:
1465:
1463:
1462:
1440:
1439:
1389:
1387:
1386:
1381:
1373:
1368:
1367:
1366:
1358:
1348:
1345:
1327:
1325:
1314:
1285:
1282:
1255:
1179:
1177:
1176:
1171:
1159:
1123:
1121:
1120:
1111:
1110:
1109:
1101:
1091:
1088:
1062:limit from above
1059:
1057:
1056:
1051:
1049:
1048:
1040:
1027:
1025:
1024:
1019:
992:
990:
989:
984:
966:
965:
957:
926:
925:
920:
919:
912:
904:
902:
901:
895:
893:
882:
879:
874:
834:
833:
822:
821:
814:
806:
804:
803:
791:
789:
788:
776:
764:
762:
761:
756:
727:
711:
709:
708:
703:
695:
693:
692:
683:
682:
681:
673:
663:
660:
622:
620:
619:
614:
603:
602:
556:
547:
546:
525:
524:
459:
457:
456:
451:
449:
448:
430:
427:
404:
401:
383:
381:
380:
368:
358:
357:
347:
324:
323:
261:
259:
258:
253:
251:
250:
232:
229:
206:
203:
199:
198:
197:
189:
82:Laurent Schwartz
36:smooth functions
21:
6227:
6226:
6222:
6221:
6220:
6218:
6217:
6216:
6202:
6201:
6187:
6184:
6179:
6178:
6172:
6155:
6153:
6149:
6129:
6125:
6120:
6102:Fabius function
6093:
6035:
6004:
6003:
5962:
5921:
5916:
5915:
5900:Euclidean space
5860:
5841:
5813:
5792:
5787:
5786:
5769:
5760:
5702:
5691:
5666:
5636:
5620:
5614:
5550:
5505:
5449:
5433:
5427:
5385:
5335:
5334:
5277:
5236:
5235:
5203:
5184:
5183:
5176:
5170:
5169:
5150:
5140:
5133:
5094:
5093:
5087:
5035:
5003:
4947:
4937:
4897:
4896:
4845:
4819:
4806:
4780:
4770:
4746:
4741:
4740:
4730:
4693:
4666:
4623:
4586:
4576:
4555:
4521:
4516:
4515:
4509:
4502:
4465:
4446:
4445:
4438:
4432:
4431:
4412:
4399:
4360:
4359:
4353:
4283:
4261:
4256:
4255:
4151:
4150:
4121:complex numbers
4118:
4114:
4110:
4105:
4099:
4073:
4072:
4053:
4052:
4028:
4023:
4022:
3995:
3994:
3970:
3965:
3964:
3901:
3856:
3850:
3849:
3828:
3827:
3798:
3797:
3776:
3760:
3747:
3742:
3741:
3720:
3707:
3702:
3701:
3668:
3654:
3653:
3601:
3588:
3565:
3560:
3546:
3536:
3522:
3509:
3484:
3455:
3450:
3436:
3426:
3412:
3399:
3352:
3351:
3315:
3314:
3289:
3288:
3261:
3260:
3239:
3228:
3227:
3202:
3201:
3168:
3163:
3162:
3143:
3142:
3115:
3114:
3087:
3086:
3062:
3039:
3038:
3035:dyadic rational
3006:
3005:
2997:to demonstrate
2967:
2966:
2935:
2930:
2916:
2906:
2883:
2882:
2846:
2823:
2813:
2775:
2774:
2745:
2744:
2721:
2714:
2663:
2652:
2619:
2608:
2577:
2576:
2555:
2518:
2507:
2476:
2475:
2363:
2349:
2327:
2326:
2308:
2235:
2225:
2186:
2176:
2150:
2149:
2121:
2120:
2094:
2089:
2046:
2024:
2004:
2003:
1969:
1943:
1915:
1914:
1891:
1890:
1853:
1828:
1827:
1785:
1759:
1758:
1747:
1746:
1713:
1693:
1637:
1636:
1625:
1624:
1584:
1564:
1563:
1537:
1517:
1516:
1490:
1466:
1450:
1419:
1410:
1409:
1349:
1315:
1286:
1248:
1243:
1242:
1217:
1201:reciprocal rule
1112:
1092:
1069:
1068:
1060:and taking the
1035:
1030:
1029:
998:
997:
952:
913:
886:
815:
780:
770:
769:
747:
746:
732:
684:
664:
641:
640:
635:one-sided limit
594:
538:
510:
505:
504:
495:
468:
444:
443:
424:
418:
417:
398:
369:
349:
348:
338:
309:
304:
303:
278:
246:
245:
226:
220:
219:
200:
180:
173:
152:
151:
129:
124:
70:compact support
57:is smooth. The
42:functions) and
28:
23:
22:
15:
12:
11:
5:
6225:
6223:
6215:
6214:
6204:
6203:
6200:
6199:
6183:
6182:External links
6180:
6177:
6176:
6170:
6147:
6122:
6121:
6119:
6116:
6115:
6114:
6109:
6104:
6099:
6092:
6089:
6077:
6076:
6065:
6061:
6057:
6050:
6047:
6042:
6038:
6034:
6031:
6028:
6025:
6022:
6019:
6016:
6012:
5961:
5958:
5945:
5942:
5939:
5936:
5933:
5928:
5924:
5888:Euclidean norm
5884:
5883:
5872:
5867:
5863:
5859:
5856:
5853:
5848:
5844:
5840:
5837:
5834:
5831:
5828:
5825:
5820:
5816:
5812:
5809:
5806:
5801:
5796:
5767:
5766:The function Ψ
5759:
5756:
5748:
5747:
5736:
5733:
5730:
5725:
5721:
5715:
5709:
5705:
5698:
5694:
5688:
5685:
5682:
5677:
5673:
5669:
5659:
5655:
5649:
5643:
5639:
5633:
5627:
5623:
5618:
5607:
5603:
5597:
5591:
5588:
5585:
5582:
5579:
5574:
5570:
5566:
5556:
5553:
5549:
5542:
5537:
5534:
5531:
5528:
5525:
5521:
5517:
5512:
5508:
5502:
5499:
5496:
5491:
5487:
5483:
5475:
5472:
5469:
5464:
5460:
5455:
5452:
5446:
5440:
5436:
5431:
5422:
5419:
5416:
5411:
5408:
5405:
5401:
5397:
5392:
5388:
5382:
5379:
5376:
5371:
5367:
5363:
5358:
5353:
5350:
5347:
5343:
5325:
5324:
5313:
5309:
5305:
5302:
5298:
5295:
5292:
5289:
5284:
5280:
5274:
5269:
5266:
5263:
5259:
5255:
5252:
5249:
5246:
5243:
5229:
5228:
5217:
5212:
5207:
5202:
5199:
5196:
5193:
5187:
5177:
5175:
5172:
5171:
5168:
5165:
5162:
5159:
5151:
5147:
5143:
5139:
5138:
5136:
5131:
5128:
5125:
5122:
5117:
5114:
5111:
5106:
5102:
5085:
5076:
5075:
5064:
5060:
5056:
5053:
5049:
5044:
5039:
5034:
5031:
5028:
5025:
5021:
5018:
5015:
5010:
5006:
5002:
4997:
4994:
4991:
4986:
4982:
4973:
4970:
4967:
4962:
4958:
4953:
4950:
4944:
4940:
4934:
4931:
4928:
4925:
4920:
4917:
4914:
4909:
4905:
4886:
4885:
4874:
4870:
4866:
4863:
4859:
4854:
4849:
4844:
4841:
4837:
4834:
4831:
4826:
4822:
4818:
4813:
4809:
4800:
4795:
4791:
4786:
4783:
4777:
4773:
4767:
4764:
4761:
4758:
4753:
4749:
4732:and its first
4728:
4721:involving the
4719:
4718:
4707:
4702:
4697:
4692:
4689:
4685:
4680:
4673:
4669:
4663:
4660:
4657:
4652:
4648:
4644:
4641:
4638:
4635:
4630:
4626:
4620:
4617:
4614:
4609:
4605:
4601:
4598:
4593:
4589:
4583:
4579:
4575:
4572:
4568:
4562:
4558:
4553:
4549:
4546:
4541:
4536:
4533:
4528:
4524:
4507:
4500:
4491:
4490:
4479:
4474:
4469:
4464:
4461:
4458:
4455:
4449:
4439:
4437:
4434:
4433:
4430:
4427:
4424:
4421:
4413:
4411:
4408:
4405:
4404:
4402:
4397:
4394:
4391:
4388:
4383:
4380:
4377:
4372:
4368:
4351:
4335:
4334:
4323:
4319:
4315:
4312:
4308:
4305:
4302:
4299:
4296:
4290:
4286:
4282:
4279:
4276:
4273:
4268:
4264:
4239:This function
4237:
4236:
4225:
4221:
4217:
4214:
4210:
4207:
4204:
4201:
4198:
4195:
4192:
4188:
4185:
4182:
4179:
4176:
4173:
4170:
4167:
4164:
4161:
4158:
4116:
4112:
4108:
4101:Main article:
4098:
4095:
4081:
4060:
4038:
4035:
4031:
4013:is 0 by the
4002:
3980:
3977:
3973:
3953:
3952:
3941:
3937:
3934:
3931:
3926:
3922:
3918:
3913:
3907:
3904:
3898:
3894:
3891:
3888:
3883:
3880:
3877:
3872:
3869:
3865:
3860:
3853:
3846:
3843:
3840:
3836:
3835:lim sup
3812:
3808:
3805:
3783:
3779:
3775:
3770:
3767:
3763:
3759:
3754:
3750:
3727:
3723:
3719:
3714:
3710:
3689:
3686:
3683:
3680:
3675:
3671:
3667:
3664:
3661:
3650:
3649:
3638:
3635:
3632:
3629:
3624:
3621:
3617:
3611:
3608:
3604:
3598:
3595:
3591:
3587:
3582:
3577:
3572:
3568:
3564:
3553:
3549:
3543:
3539:
3531:
3528:
3525:
3519:
3515:
3512:
3506:
3502:
3499:
3496:
3491:
3487:
3483:
3480:
3477:
3472:
3467:
3462:
3458:
3454:
3443:
3439:
3433:
3429:
3421:
3418:
3415:
3409:
3405:
3402:
3396:
3392:
3389:
3386:
3383:
3378:
3375:
3372:
3367:
3364:
3360:
3336:
3332:
3328:
3325:
3322:
3302:
3299:
3296:
3275:
3271:
3268:
3246:
3242:
3238:
3235:
3215:
3212:
3209:
3189:
3186:
3183:
3178:
3175:
3171:
3150:
3129:
3125:
3122:
3101:
3097:
3094:
3072:
3069:
3065:
3061:
3058:
3055:
3052:
3049:
3046:
3022:
3019:
3016:
3013:
2981:
2977:
2974:
2952:
2947:
2942:
2938:
2934:
2923:
2919:
2913:
2909:
2902:
2898:
2895:
2891:
2879:
2878:
2867:
2861:
2858:
2853:
2849:
2845:
2842:
2839:
2830:
2826:
2820:
2816:
2809:
2805:
2802:
2798:
2794:
2791:
2788:
2785:
2782:
2759:
2755:
2752:
2741:Fourier series
2713:
2710:
2694:
2693:
2680:
2672:
2669:
2666:
2661:
2658:
2655:
2647:
2642:
2636:
2628:
2625:
2622:
2617:
2614:
2611:
2603:
2598:
2595:
2592:
2589:
2585:
2552:
2551:
2540:
2535:
2527:
2524:
2521:
2516:
2513:
2510:
2502:
2497:
2494:
2491:
2488:
2484:
2429:
2428:
2417:
2413:
2409:
2406:
2402:
2396:
2393:
2390:
2387:
2384:
2381:
2378:
2375:
2372:
2369:
2366:
2361:
2358:
2355:
2352:
2346:
2343:
2340:
2337:
2334:
2307:
2304:
2280:
2279:
2268:
2264:
2260:
2257:
2253:
2250:
2247:
2242:
2238:
2231:
2228:
2224:
2217:
2212:
2209:
2206:
2202:
2198:
2193:
2189:
2182:
2179:
2174:
2171:
2168:
2163:
2160:
2157:
2153:
2144:
2139:
2136:
2133:
2129:
2093:
2090:
2086:
2085:
2084:
2083:
2072:
2069:
2064:
2060:
2056:
2053:
2049:
2040:
2037:
2034:
2031:
2027:
2022:
2019:
2016:
2011:
2007:
1998:
1995:
1992:
1988:
1984:
1978:
1975:
1972:
1967:
1964:
1961:
1956:
1953:
1950:
1946:
1942:
1939:
1936:
1933:
1928:
1925:
1922:
1918:
1909:
1906:
1903:
1899:
1848:
1842:
1841:
1826:
1823:
1820:
1817:
1814:
1807:
1804:
1801:
1798:
1795:
1792:
1788:
1783:
1780:
1777:
1772:
1769:
1766:
1762:
1755:
1752:
1750:
1748:
1745:
1742:
1739:
1736:
1729:
1726:
1723:
1720:
1716:
1711:
1708:
1705:
1700:
1696:
1692:
1689:
1686:
1683:
1680:
1677:
1674:
1671:
1668:
1665:
1662:
1658:
1654:
1650:
1644:
1640:
1633:
1630:
1628:
1626:
1623:
1620:
1617:
1614:
1609:
1600:
1597:
1594:
1591:
1587:
1582:
1579:
1576:
1571:
1567:
1560:
1553:
1550:
1547:
1544:
1540:
1535:
1532:
1529:
1524:
1520:
1513:
1510:
1507:
1500:
1497:
1493:
1488:
1485:
1482:
1478:
1474:
1470:
1461:
1456:
1453:
1451:
1449:
1446:
1443:
1438:
1435:
1432:
1429:
1426:
1422:
1418:
1417:
1391:
1390:
1379:
1376:
1371:
1364:
1361:
1356:
1352:
1344:
1341:
1338:
1334:
1330:
1324:
1321:
1318:
1313:
1310:
1307:
1304:
1301:
1298:
1295:
1292:
1289:
1281:
1278:
1275:
1271:
1267:
1264:
1261:
1258:
1254:
1251:
1215:
1181:
1180:
1169:
1166:
1163:
1158:
1155:
1152:
1148:
1144:
1141:
1138:
1135:
1132:
1129:
1126:
1119:
1115:
1107:
1104:
1099:
1095:
1087:
1084:
1081:
1077:
1046:
1043:
1038:
1017:
1014:
1011:
1008:
1005:
994:
993:
982:
979:
976:
973:
969:
963:
960:
955:
951:
947:
944:
941:
938:
935:
932:
929:
924:
918:
910:
907:
900:
892:
889:
885:
878:
873:
870:
867:
863:
859:
855:
852:
849:
846:
843:
840:
837:
832:
829:
826:
820:
812:
809:
802:
797:
794:
787:
783:
779:
754:
744:natural number
734:
733:
730:
725:
713:
712:
701:
698:
691:
687:
679:
676:
671:
667:
659:
656:
653:
649:
624:
623:
612:
609:
606:
601:
597:
593:
590:
587:
584:
581:
578:
575:
572:
569:
566:
563:
559:
555:
551:
545:
541:
537:
534:
531:
528:
523:
520:
517:
513:
493:
466:
461:
460:
447:
442:
439:
436:
433:
425:
423:
420:
419:
416:
413:
410:
407:
399:
396:
393:
390:
387:
379:
376:
372:
367:
364:
361:
356:
352:
344:
343:
341:
336:
333:
330:
327:
322:
319:
316:
312:
277:
274:
263:
262:
249:
244:
241:
238:
235:
227:
225:
222:
221:
218:
215:
212:
209:
201:
195:
192:
187:
183:
179:
178:
176:
171:
168:
165:
162:
159:
128:
125:
123:
120:
99:. In terms of
63:counterexample
40:differentiable
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
6224:
6213:
6210:
6209:
6207:
6196:
6195:
6190:
6186:
6185:
6181:
6173:
6171:3-7643-7153-6
6167:
6163:
6159:
6151:
6148:
6145:
6144:0-07-099557-5
6141:
6137:
6133:
6127:
6124:
6117:
6113:
6110:
6108:
6107:Flat function
6105:
6103:
6100:
6098:
6097:Bump function
6095:
6094:
6090:
6088:
6086:
6082:
6063:
6055:
6048:
6045:
6040:
6036:
6029:
6026:
6020:
6002:
6001:
6000:
5998:
5997:complex plane
5994:
5990:
5986:
5982:
5977:
5975:
5971:
5967:
5959:
5957:
5943:
5940:
5934:
5926:
5913:
5909:
5905:
5901:
5898:-dimensional
5897:
5893:
5889:
5865:
5857:
5851:
5846:
5842:
5835:
5832:
5826:
5818:
5807:
5804:
5799:
5785:
5784:
5783:
5781:
5773:
5764:
5757:
5755:
5753:
5734:
5728:
5723:
5719:
5713:
5707:
5703:
5683:
5675:
5671:
5657:
5653:
5647:
5641:
5637:
5625:
5621:
5605:
5601:
5595:
5589:
5586:
5583:
5580:
5577:
5572:
5568:
5564:
5554:
5551:
5547:
5535:
5532:
5529:
5526:
5523:
5519:
5515:
5497:
5489:
5485:
5473:
5470:
5467:
5462:
5458:
5453:
5450:
5438:
5434:
5420:
5417:
5414:
5409:
5406:
5403:
5399:
5395:
5377:
5369:
5365:
5351:
5348:
5345:
5341:
5333:
5332:
5331:
5330:
5311:
5303:
5300:
5296:
5290:
5282:
5278:
5267:
5264:
5261:
5257:
5253:
5247:
5241:
5234:
5233:
5232:
5215:
5210:
5200:
5197:
5194:
5191:
5173:
5166:
5163:
5160:
5157:
5145:
5141:
5134:
5129:
5123:
5112:
5104:
5100:
5092:
5091:
5090:
5088:
5081:
5062:
5054:
5051:
5047:
5042:
5032:
5029:
5026:
5023:
5019:
5013:
5008:
5004:
4992:
4984:
4980:
4971:
4968:
4965:
4960:
4956:
4951:
4948:
4942:
4938:
4932:
4926:
4915:
4907:
4903:
4895:
4894:
4893:
4891:
4872:
4864:
4861:
4857:
4852:
4842:
4839:
4835:
4829:
4824:
4820:
4811:
4807:
4798:
4793:
4789:
4784:
4781:
4775:
4771:
4765:
4759:
4751:
4747:
4739:
4738:
4737:
4735:
4731:
4724:
4723:supremum norm
4705:
4700:
4690:
4687:
4683:
4658:
4650:
4646:
4639:
4636:
4633:
4615:
4607:
4603:
4596:
4581:
4577:
4570:
4560:
4556:
4547:
4544:
4531:
4526:
4522:
4514:
4513:
4512:
4510:
4503:
4497:implies that
4496:
4477:
4472:
4462:
4459:
4456:
4453:
4435:
4428:
4425:
4422:
4419:
4409:
4406:
4400:
4395:
4389:
4378:
4370:
4366:
4358:
4357:
4356:
4354:
4347:
4343:
4340:
4321:
4313:
4310:
4306:
4300:
4294:
4288:
4284:
4280:
4274:
4266:
4262:
4254:
4253:
4252:
4250:
4246:
4242:
4223:
4215:
4212:
4208:
4202:
4199:
4196:
4190:
4183:
4180:
4177:
4171:
4168:
4162:
4156:
4149:
4148:
4147:
4145:
4140:
4138:
4134:
4133:Borel's lemma
4130:
4129:Taylor series
4126:
4122:
4104:
4103:Borel's lemma
4096:
4094:
4058:
4036:
4033:
4029:
4020:
4016:
4000:
3978:
3975:
3971:
3962:
3961:Taylor series
3958:
3939:
3932:
3929:
3924:
3920:
3916:
3911:
3905:
3902:
3889:
3878:
3870:
3867:
3863:
3851:
3838:
3826:
3825:
3824:
3806:
3803:
3781:
3777:
3773:
3768:
3765:
3761:
3757:
3752:
3748:
3725:
3721:
3717:
3712:
3708:
3687:
3684:
3678:
3673:
3669:
3662:
3659:
3627:
3609:
3606:
3602:
3596:
3593:
3589:
3585:
3580:
3570:
3566:
3551:
3547:
3541:
3537:
3529:
3526:
3523:
3513:
3510:
3504:
3500:
3494:
3489:
3485:
3478:
3475:
3470:
3460:
3456:
3441:
3437:
3431:
3427:
3419:
3416:
3413:
3403:
3400:
3394:
3390:
3384:
3373:
3365:
3362:
3358:
3350:
3349:
3348:
3334:
3330:
3326:
3323:
3320:
3300:
3297:
3294:
3269:
3266:
3244:
3240:
3236:
3233:
3213:
3210:
3207:
3184:
3176:
3173:
3169:
3148:
3123:
3120:
3095:
3092:
3070:
3067:
3063:
3059:
3056:
3053:
3050:
3047:
3044:
3036:
3017:
3011:
3002:
3000:
2996:
2975:
2972:
2950:
2940:
2936:
2921:
2917:
2911:
2907:
2896:
2893:
2889:
2865:
2856:
2851:
2847:
2840:
2837:
2828:
2824:
2818:
2814:
2803:
2800:
2796:
2792:
2786:
2780:
2773:
2772:
2771:
2753:
2750:
2742:
2738:
2734:
2724:
2718:
2711:
2709:
2707:
2706:bump function
2703:
2699:
2670:
2667:
2664:
2659:
2656:
2653:
2640:
2626:
2623:
2620:
2615:
2612:
2609:
2596:
2590:
2587:
2575:
2574:
2573:
2570:
2566:
2562:
2558:
2538:
2525:
2522:
2519:
2514:
2511:
2508:
2495:
2489:
2486:
2474:
2473:
2472:
2470:
2466:
2462:
2461:unit interval
2458:
2454:
2450:
2446:
2442:
2438:
2434:
2415:
2407:
2404:
2400:
2391:
2388:
2385:
2379:
2376:
2370:
2364:
2356:
2350:
2344:
2338:
2332:
2325:
2324:
2323:
2322:The function
2317:
2312:
2305:
2303:
2301:
2297:
2293:
2289:
2285:
2266:
2258:
2255:
2251:
2248:
2245:
2240:
2236:
2229:
2226:
2222:
2210:
2207:
2204:
2200:
2196:
2191:
2187:
2180:
2177:
2169:
2158:
2151:
2137:
2134:
2131:
2127:
2119:
2118:
2117:
2115:
2114:zero function
2111:
2107:
2106:Taylor series
2103:
2099:
2091:
2070:
2067:
2062:
2058:
2054:
2051:
2047:
2038:
2035:
2032:
2029:
2025:
2017:
2009:
2005:
1996:
1990:
1982:
1976:
1973:
1970:
1962:
1951:
1944:
1940:
1934:
1923:
1916:
1907:
1901:
1889:
1888:
1887:
1885:
1881:
1877:
1873:
1869:
1865:
1861:
1857:
1851:
1847:
1824:
1818:
1812:
1802:
1799:
1796:
1790:
1786:
1778:
1770:
1767:
1764:
1760:
1753:
1751:
1740:
1734:
1727:
1724:
1721:
1718:
1714:
1706:
1698:
1694:
1687:
1684:
1681:
1678:
1675:
1669:
1663:
1656:
1652:
1648:
1642:
1638:
1631:
1629:
1618:
1612:
1598:
1595:
1592:
1589:
1585:
1577:
1569:
1565:
1558:
1551:
1548:
1545:
1542:
1538:
1530:
1522:
1518:
1511:
1508:
1505:
1498:
1495:
1491:
1483:
1476:
1472:
1468:
1454:
1452:
1444:
1433:
1430:
1427:
1420:
1408:
1407:
1406:
1404:
1400:
1396:
1377:
1374:
1369:
1362:
1359:
1354:
1350:
1342:
1336:
1328:
1322:
1319:
1316:
1308:
1302:
1299:
1293:
1287:
1279:
1273:
1265:
1259:
1252:
1249:
1241:
1240:
1239:
1237:
1233:
1229:
1225:
1221:
1214:
1210:
1206:
1202:
1198:
1194:
1190:
1186:
1167:
1164:
1161:
1156:
1150:
1142:
1136:
1133:
1130:
1124:
1117:
1113:
1105:
1102:
1097:
1093:
1085:
1079:
1067:
1066:
1065:
1063:
1044:
1041:
1036:
1015:
1012:
1009:
1006:
1003:
980:
977:
974:
971:
967:
961:
958:
953:
949:
945:
939:
936:
933:
927:
922:
908:
905:
890:
887:
883:
871:
868:
865:
861:
857:
853:
847:
844:
841:
835:
830:
827:
824:
810:
807:
795:
792:
785:
781:
777:
768:
767:
766:
752:
745:
741:
736:
735:
728:
724:
722:
718:
699:
696:
689:
685:
677:
674:
669:
665:
657:
651:
639:
638:
637:
636:
632:
629:
607:
599:
595:
588:
585:
582:
579:
576:
570:
564:
557:
553:
549:
543:
539:
535:
529:
521:
518:
515:
511:
503:
502:
501:
499:
492:
488:
484:
481:
477:
473:
469:
440:
437:
434:
431:
421:
414:
411:
408:
405:
391:
385:
377:
374:
370:
362:
354:
350:
339:
334:
328:
317:
310:
302:
301:
300:
298:
294:
290:
287:
283:
280:The function
275:
273:
271:
268:
242:
239:
236:
233:
223:
216:
213:
210:
207:
193:
190:
185:
181:
174:
169:
163:
157:
150:
149:
148:
142:
138:
133:
126:
121:
119:
117:
112:
110:
106:
102:
98:
94:
89:
87:
86:distributions
84:'s theory of
83:
79:
75:
71:
66:
64:
60:
56:
53:
49:
45:
41:
37:
33:
19:
6192:
6157:
6150:
6135:
6132:Walter Rudin
6126:
6078:
5992:
5988:
5980:
5978:
5973:
5963:
5911:
5895:
5891:
5885:
5779:
5777:
5771:
5749:
5328:
5326:
5230:
5083:
5079:
5077:
4887:
4733:
4726:
4720:
4505:
4498:
4492:
4349:
4345:
4341:
4336:
4248:
4244:
4240:
4238:
4143:
4141:
4124:
4106:
4051:, and hence
3955:so that the
3954:
3651:
3003:
2880:
2737:at any point
2736:
2733:pathological
2730:
2722:
2701:
2697:
2695:
2568:
2564:
2560:
2556:
2553:
2468:
2464:
2456:
2452:
2448:
2444:
2440:
2436:
2432:
2430:
2321:
2315:
2295:
2291:
2287:
2283:
2281:
2109:
2097:
2095:
1883:
1879:
1875:
1874:is zero for
1871:
1867:
1863:
1859:
1855:
1849:
1845:
1843:
1402:
1398:
1394:
1392:
1235:
1231:
1227:
1226:is zero for
1223:
1219:
1212:
1208:
1204:
1195:. Using the
1188:
1184:
1182:
995:
737:
720:
714:
630:
625:
497:
490:
482:
471:
464:
462:
292:
281:
279:
269:
264:
146:
140:
136:
113:
101:sheaf theory
90:
67:
29:
4137:Émile Borel
717:nonnegative
487:recursively
289:derivatives
267:real number
32:mathematics
6194:PlanetMath
6158:Analysis I
5910:of radius
5752:ratio test
5180:otherwise,
4890:chain rule
4442:otherwise,
1197:chain rule
476:polynomial
286:continuous
80:, such as
74:mollifiers
6160:, Basel:
6112:Mollifier
6056:∈
6041:−
6033:↦
6027:∋
6015:∖
5923:Ψ
5862:‖
5855:‖
5852:−
5815:Ψ
5811:↦
5805:∋
5732:∞
5720:≤
5714:⏟
5704:λ
5697:∞
5693:‖
5672:ψ
5668:‖
5654:≤
5648:⏟
5638:λ
5622:α
5602:≤
5596:⏟
5587:−
5581:−
5569:λ
5541:∞
5520:∑
5511:∞
5507:‖
5486:ψ
5482:‖
5471:−
5459:λ
5435:α
5400:∑
5396:≤
5391:∞
5387:‖
5362:‖
5357:∞
5342:∑
5304:∈
5273:∞
5258:∑
5201:∈
5142:α
5089:at zero,
5055:∈
5033:∈
5005:λ
4981:ψ
4969:−
4957:λ
4939:α
4865:∈
4843:∈
4821:λ
4808:ψ
4790:λ
4772:α
4691:∈
4672:∞
4668:‖
4647:ψ
4643:‖
4637:…
4629:∞
4625:‖
4604:ψ
4600:‖
4592:∞
4588:‖
4578:ψ
4574:‖
4557:α
4523:λ
4463:∈
4367:ψ
4314:∈
4263:ψ
4216:∈
4200:−
3936:∞
3845:∞
3842:→
3807:∈
3663:
3634:∞
3631:→
3594:−
3586:≥
3542:−
3514:∈
3505:∑
3479:
3432:−
3404:∈
3395:∑
3298:≥
3270:∈
3124:∈
3096:∈
3068:−
3060:⋅
3054:⋅
3051:π
2976:∈
2912:−
2897:∈
2890:∑
2841:
2819:−
2804:∈
2797:∑
2754:∈
2668:−
2657:−
2624:−
2613:−
2594:↦
2588:∋
2523:−
2512:−
2493:↦
2487:∋
2408:∈
2389:−
2259:∈
2216:∞
2201:∑
2143:∞
2128:∑
2052:−
1994:↘
1974:−
1941:−
1905:↘
1862: = (
1685:−
1670:−
1506:−
1355:−
1340:↘
1320:−
1300:−
1277:↘
1154:↘
1125:≤
1098:−
1083:↘
1007:≠
877:∞
862:∑
836:≤
670:−
655:↘
586:−
571:−
435:≤
297:real line
237:≤
186:−
48:functions
6206:Category
6091:See also
5154:if
4493:and the
4416:if
4339:monomial
4135:, after
3700:for all
3347:we have
2300:analytic
1657:′
1477:′
1253:′
1207:for all
719:integer
715:for any
558:′
428:if
402:if
230:if
204:if
59:converse
55:argument
6079:has an
5906:in the
5904:support
3959:of the
2731:A more
2298:is not
738:By the
628:integer
474:) is a
295:of the
65:below.
6168:
6142:
5914:, but
2863:
2290:) for
2102:origin
1844:where
1199:, the
480:degree
463:where
6118:Notes
5902:with
5886:with
4019:dense
3259:with
3085:with
2727:to 2.
2567:<
2563:<
2559:<
6166:ISBN
6140:ISBN
5941:>
5908:ball
5729:<
4034:>
3993:at
3976:>
3963:of
3868:>
3718:>
3527:>
3417:>
3363:>
3324:>
3313:and
3211:>
3174:>
3113:and
975:>
409:>
284:has
211:>
109:fine
95:and
52:real
5987:of
4725:of
4535:max
4115:, α
4111:, α
3660:cos
3476:cos
2838:cos
2725:= 2
2108:of
1987:lim
1898:lim
1882:at
1397:to
1333:lim
1270:lim
1234:at
1191:by
1147:lim
1076:lim
648:lim
489:by
478:of
107:is
30:In
6208::
6191:.
6134:,
5956:.
5890:||
5754:.
4892:,
4139:.
4093:.
3391::=
3287:,
3048::=
2793::=
2708:.
2700:,
2116:,
2071:0.
1852:+1
1378:0.
1168:0.
1064:,
723:.
272:.
88:.
34:,
6197:.
6064:,
6060:C
6049:z
6046:1
6037:e
6030:z
6024:}
6021:0
6018:{
6011:C
5993:x
5989:f
5981:f
5974:f
5944:0
5938:)
5935:0
5932:(
5927:r
5912:r
5896:n
5892:x
5871:)
5866:2
5858:x
5847:2
5843:r
5839:(
5836:f
5833:=
5830:)
5827:x
5824:(
5819:r
5808:x
5800:n
5795:R
5780:r
5772:x
5770:(
5768:1
5735:,
5724:1
5708:n
5687:)
5684:k
5681:(
5676:n
5658:1
5642:n
5632:|
5626:n
5617:|
5606:1
5590:2
5584:k
5578:n
5573:n
5565:1
5555:!
5552:n
5548:1
5536:2
5533:+
5530:k
5527:=
5524:n
5516:+
5501:)
5498:k
5495:(
5490:n
5474:k
5468:n
5463:n
5454:!
5451:n
5445:|
5439:n
5430:|
5421:1
5418:+
5415:k
5410:0
5407:=
5404:n
5381:)
5378:k
5375:(
5370:n
5366:f
5352:0
5349:=
5346:n
5329:k
5312:,
5308:R
5301:x
5297:,
5294:)
5291:x
5288:(
5283:n
5279:f
5268:0
5265:=
5262:n
5254:=
5251:)
5248:x
5245:(
5242:F
5216:.
5211:0
5206:N
5198:n
5195:,
5192:k
5174:0
5167:,
5164:n
5161:=
5158:k
5146:n
5135:{
5130:=
5127:)
5124:0
5121:(
5116:)
5113:k
5110:(
5105:n
5101:f
5086:n
5084:ψ
5080:k
5063:,
5059:R
5052:x
5048:,
5043:0
5038:N
5030:n
5027:,
5024:k
5020:,
5017:)
5014:x
5009:n
5001:(
4996:)
4993:k
4990:(
4985:n
4972:k
4966:n
4961:n
4952:!
4949:n
4943:n
4933:=
4930:)
4927:x
4924:(
4919:)
4916:k
4913:(
4908:n
4904:f
4873:.
4869:R
4862:x
4858:,
4853:0
4848:N
4840:n
4836:,
4833:)
4830:x
4825:n
4817:(
4812:n
4799:n
4794:n
4785:!
4782:n
4776:n
4766:=
4763:)
4760:x
4757:(
4752:n
4748:f
4734:n
4729:n
4727:ψ
4706:,
4701:0
4696:N
4688:n
4684:,
4679:}
4662:)
4659:n
4656:(
4651:n
4640:,
4634:,
4619:)
4616:1
4613:(
4608:n
4597:,
4582:n
4571:,
4567:|
4561:n
4552:|
4548:,
4545:1
4540:{
4532:=
4527:n
4508:n
4506:ψ
4501:n
4499:ψ
4478:,
4473:0
4468:N
4460:n
4457:,
4454:k
4436:0
4429:,
4426:n
4423:=
4420:k
4410:!
4407:n
4401:{
4396:=
4393:)
4390:0
4387:(
4382:)
4379:k
4376:(
4371:n
4352:n
4350:ψ
4346:k
4342:x
4322:,
4318:R
4311:x
4307:,
4304:)
4301:x
4298:(
4295:h
4289:n
4285:x
4281:=
4278:)
4275:x
4272:(
4267:n
4249:n
4245:h
4241:h
4224:.
4220:R
4213:x
4209:,
4206:)
4203:x
4197:2
4194:(
4191:g
4187:)
4184:x
4181:+
4178:2
4175:(
4172:g
4169:=
4166:)
4163:x
4160:(
4157:h
4144:g
4125:F
4117:2
4113:1
4109:0
4080:R
4059:F
4037:q
4030:F
4001:x
3979:q
3972:F
3940:,
3933:+
3930:=
3925:n
3921:/
3917:1
3912:)
3906:!
3903:n
3897:|
3893:)
3890:x
3887:(
3882:)
3879:n
3876:(
3871:q
3864:F
3859:|
3852:(
3839:n
3811:R
3804:x
3782:2
3778:n
3774:=
3769:m
3766:2
3762:2
3758:=
3753:k
3749:2
3726:q
3722:2
3713:k
3709:2
3688:1
3685:=
3682:)
3679:x
3674:k
3670:2
3666:(
3637:)
3628:n
3623:s
3620:a
3616:(
3610:n
3607:2
3603:n
3597:n
3590:e
3581:n
3576:)
3571:k
3567:2
3563:(
3552:k
3548:2
3538:e
3530:q
3524:k
3518:N
3511:k
3501:=
3498:)
3495:x
3490:k
3486:2
3482:(
3471:n
3466:)
3461:k
3457:2
3453:(
3442:k
3438:2
3428:e
3420:q
3414:k
3408:N
3401:k
3388:)
3385:x
3382:(
3377:)
3374:n
3371:(
3366:q
3359:F
3335:2
3331:/
3327:q
3321:m
3301:2
3295:m
3274:N
3267:m
3245:m
3241:2
3237:=
3234:n
3214:q
3208:k
3188:)
3185:x
3182:(
3177:q
3170:F
3149:q
3128:N
3121:q
3100:Z
3093:p
3071:q
3064:2
3057:p
3045:x
3021:)
3018:x
3015:(
3012:F
2980:N
2973:n
2951:n
2946:)
2941:k
2937:2
2933:(
2922:k
2918:2
2908:e
2901:N
2894:k
2866:.
2860:)
2857:x
2852:k
2848:2
2844:(
2829:k
2825:2
2815:e
2808:N
2801:k
2790:)
2787:x
2784:(
2781:F
2758:R
2751:x
2723:k
2702:d
2698:a
2679:)
2671:c
2665:d
2660:x
2654:d
2646:(
2641:g
2635:)
2627:a
2621:b
2616:a
2610:x
2602:(
2597:g
2591:x
2584:R
2569:d
2565:c
2561:b
2557:a
2539:.
2534:)
2526:a
2520:b
2515:a
2509:x
2501:(
2496:g
2490:x
2483:R
2469:b
2465:a
2457:x
2453:x
2451:(
2449:g
2445:x
2441:x
2439:(
2437:g
2433:g
2416:,
2412:R
2405:x
2401:,
2395:)
2392:x
2386:1
2383:(
2380:f
2377:+
2374:)
2371:x
2368:(
2365:f
2360:)
2357:x
2354:(
2351:f
2345:=
2342:)
2339:x
2336:(
2333:g
2316:g
2296:f
2292:x
2288:x
2286:(
2284:f
2267:,
2263:R
2256:x
2252:,
2249:0
2246:=
2241:n
2237:x
2230:!
2227:n
2223:0
2211:0
2208:=
2205:n
2197:=
2192:n
2188:x
2181:!
2178:n
2173:)
2170:0
2167:(
2162:)
2159:n
2156:(
2152:f
2138:0
2135:=
2132:n
2110:f
2098:f
2068:=
2063:x
2059:/
2055:1
2048:e
2039:1
2036:+
2033:n
2030:2
2026:x
2021:)
2018:x
2015:(
2010:n
2006:p
1997:0
1991:x
1983:=
1977:0
1971:x
1966:)
1963:0
1960:(
1955:)
1952:n
1949:(
1945:f
1938:)
1935:x
1932:(
1927:)
1924:n
1921:(
1917:f
1908:0
1902:x
1884:x
1880:f
1876:x
1872:f
1868:n
1864:n
1860:n
1856:x
1854:(
1850:n
1846:p
1825:,
1822:)
1819:x
1816:(
1813:f
1806:)
1803:1
1800:+
1797:n
1794:(
1791:2
1787:x
1782:)
1779:x
1776:(
1771:1
1768:+
1765:n
1761:p
1754:=
1744:)
1741:x
1738:(
1735:f
1728:2
1725:+
1722:n
1719:2
1715:x
1710:)
1707:x
1704:(
1699:n
1695:p
1691:)
1688:1
1682:x
1679:n
1676:2
1673:(
1667:)
1664:x
1661:(
1653:n
1649:p
1643:2
1639:x
1632:=
1622:)
1619:x
1616:(
1613:f
1608:)
1599:2
1596:+
1593:n
1590:2
1586:x
1581:)
1578:x
1575:(
1570:n
1566:p
1559:+
1552:1
1549:+
1546:n
1543:2
1539:x
1534:)
1531:x
1528:(
1523:n
1519:p
1512:n
1509:2
1499:n
1496:2
1492:x
1487:)
1484:x
1481:(
1473:n
1469:p
1460:(
1455:=
1448:)
1445:x
1442:(
1437:)
1434:1
1431:+
1428:n
1425:(
1421:f
1403:x
1399:n
1395:n
1375:=
1370:x
1363:x
1360:1
1351:e
1343:0
1337:x
1329:=
1323:0
1317:x
1312:)
1309:0
1306:(
1303:f
1297:)
1294:x
1291:(
1288:f
1280:0
1274:x
1266:=
1263:)
1260:0
1257:(
1250:f
1236:x
1232:f
1228:x
1224:f
1220:x
1218:(
1216:1
1213:p
1209:x
1205:f
1189:f
1185:n
1165:=
1162:x
1157:0
1151:x
1143:!
1140:)
1137:1
1134:+
1131:m
1128:(
1118:m
1114:x
1106:x
1103:1
1094:e
1086:0
1080:x
1045:x
1042:1
1037:e
1016:1
1013:+
1010:m
1004:n
981:,
978:0
972:x
968:,
962:x
959:1
954:e
950:x
946:!
943:)
940:1
937:+
934:m
931:(
928:=
923:n
917:)
909:x
906:1
899:(
891:!
888:n
884:1
872:0
869:=
866:n
858:x
854:!
851:)
848:1
845:+
842:m
839:(
831:1
828:+
825:m
819:)
811:x
808:1
801:(
796:x
793:=
786:m
782:x
778:1
753:m
721:m
700:0
697:=
690:m
686:x
678:x
675:1
666:e
658:0
652:x
631:n
611:)
608:x
605:(
600:n
596:p
592:)
589:1
583:x
580:n
577:2
574:(
568:)
565:x
562:(
554:n
550:p
544:2
540:x
536:=
533:)
530:x
527:(
522:1
519:+
516:n
512:p
498:x
496:(
494:1
491:p
483:n
472:x
470:(
467:n
465:p
441:,
438:0
432:x
422:0
415:,
412:0
406:x
395:)
392:x
389:(
386:f
378:n
375:2
371:x
366:)
363:x
360:(
355:n
351:p
340:{
335:=
332:)
329:x
326:(
321:)
318:n
315:(
311:f
293:x
282:f
270:x
243:,
240:0
234:x
224:0
217:,
214:0
208:x
194:x
191:1
182:e
175:{
170:=
167:)
164:x
161:(
158:f
141:x
139:(
137:f
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.