1608:
1209:
1484:
897:
598:
903:
1215:
372:
691:
1569:
239:
423:
1204:{\displaystyle =S_{n}-{\frac {1}{b_{n}}}\sum _{k=1}^{N-1}(b_{k+1}-b_{k})S_{k}-{\frac {1}{b_{n}}}\sum _{k=N}^{n-1}(b_{k+1}-b_{k})s-{\frac {1}{b_{n}}}\sum _{k=N}^{n-1}(b_{k+1}-b_{k})(S_{k}-s)}
171:
114:
272:
1479:{\displaystyle =S_{n}-{\frac {1}{b_{n}}}\sum _{k=1}^{N-1}(b_{k+1}-b_{k})S_{k}-{\frac {b_{n}-b_{N}}{b_{n}}}s-{\frac {1}{b_{n}}}\sum _{k=N}^{n-1}(b_{k+1}-b_{k})(S_{k}-s).}
679:
636:
407:
1649:
280:
43:
and convergence of sequences. The lemma is often used in the proofs of theorems concerning sums of independent random variables such as the strong
1678:
892:{\displaystyle S_{n}-{\frac {1}{b_{n}}}\sum _{k=1}^{N-1}(b_{k+1}-b_{k})S_{k}-{\frac {1}{b_{n}}}\sum _{k=N}^{n-1}(b_{k+1}-b_{k})S_{k}}
1591:
1504:
179:
1642:
593:{\displaystyle {\frac {1}{b_{n}}}\sum _{k=1}^{n}b_{k}x_{k}=S_{n}-{\frac {1}{b_{n}}}\sum _{k=1}^{n-1}(b_{k+1}-b_{k})S_{k}}
1668:
1635:
122:
68:
1497:, which cancels with the third term. The second term goes to zero (as the sum is a fixed value). Since the
1615:
244:
44:
414:
1587:
54:
17:
657:
614:
385:
1673:
1619:
1662:
51:
40:
367:{\displaystyle \lim _{n\to \infty }{\frac {1}{b_{n}}}\sum _{k=1}^{n}b_{k}x_{k}=0.}
28:
1607:
39:, Lemma IV.3.2)) is a result about the relationship between convergence of
48:
1564:{\displaystyle \epsilon (b_{n}-b_{N})/b_{n}\leq \epsilon }
234:{\displaystyle 0<b_{1}\leq b_{2}\leq b_{3}\leq \ldots }
1623:
1507:
1218:
906:
694:
660:
617:
426:
388:
283:
247:
182:
125:
71:
1501:
sequence is increasing, the last term is bounded by
116:is an infinite sequence of real numbers such that
1563:
1478:
1203:
891:
673:
630:
592:
401:
366:
266:
233:
165:
108:
285:
1643:
8:
166:{\displaystyle \sum _{m=1}^{\infty }x_{m}=s}
176:exists and is finite, then we have for all
1650:
1636:
1549:
1540:
1531:
1518:
1506:
1458:
1442:
1423:
1404:
1393:
1381:
1372:
1358:
1347:
1334:
1327:
1318:
1305:
1286:
1267:
1256:
1244:
1235:
1226:
1217:
1186:
1170:
1151:
1132:
1121:
1109:
1100:
1085:
1066:
1047:
1036:
1024:
1015:
1006:
993:
974:
955:
944:
932:
923:
914:
905:
883:
870:
851:
832:
821:
809:
800:
791:
778:
759:
740:
729:
717:
708:
699:
693:
665:
659:
622:
616:
584:
571:
552:
533:
522:
510:
501:
492:
479:
469:
459:
448:
436:
427:
425:
393:
387:
352:
342:
332:
321:
309:
300:
288:
282:
252:
246:
219:
206:
193:
181:
151:
141:
130:
124:
100:
89:
79:
70:
36:
1493:go to infinity. The first term goes to
109:{\displaystyle (x_{n})_{n=1}^{\infty }}
7:
1604:
1602:
654:. This can be done as the sequence
295:
261:
142:
101:
25:
1606:
267:{\displaystyle b_{n}\to \infty }
685:. Then the right hand side is:
409:denote the partial sums of the
47:. The lemma is named after the
1537:
1511:
1470:
1451:
1448:
1416:
1311:
1279:
1198:
1179:
1176:
1144:
1091:
1059:
999:
967:
876:
844:
784:
752:
577:
545:
292:
258:
86:
72:
1:
1622:. You can help Knowledge by
1582:Shiryaev, Albert N. (1996).
18:Kronecker's lemma/Proof
1679:Mathematical analysis stubs
1695:
1601:
1586:(2nd ed.). Springer.
1618:–related article is a
1565:
1480:
1415:
1278:
1205:
1143:
1058:
966:
893:
843:
751:
675:
632:
594:
544:
464:
403:
368:
337:
268:
235:
167:
146:
110:
1616:mathematical analysis
1566:
1481:
1389:
1252:
1206:
1117:
1032:
940:
894:
817:
725:
676:
674:{\displaystyle S_{k}}
633:
631:{\displaystyle S_{k}}
595:
518:
444:
404:
402:{\displaystyle S_{k}}
369:
317:
269:
236:
168:
126:
111:
1505:
1216:
904:
692:
658:
615:
424:
386:
281:
245:
180:
123:
69:
45:Law of large numbers
1669:Mathematical series
607:> 0. Now choose
105:
1561:
1476:
1201:
889:
671:
628:
590:
415:summation by parts
399:
364:
299:
264:
231:
163:
106:
85:
1631:
1630:
1387:
1364:
1250:
1115:
1030:
938:
815:
723:
516:
442:
315:
284:
55:Leopold Kronecker
33:Kronecker's lemma
16:(Redirected from
1686:
1652:
1645:
1638:
1610:
1603:
1597:
1570:
1568:
1567:
1562:
1554:
1553:
1544:
1536:
1535:
1523:
1522:
1485:
1483:
1482:
1477:
1463:
1462:
1447:
1446:
1434:
1433:
1414:
1403:
1388:
1386:
1385:
1373:
1365:
1363:
1362:
1353:
1352:
1351:
1339:
1338:
1328:
1323:
1322:
1310:
1309:
1297:
1296:
1277:
1266:
1251:
1249:
1248:
1236:
1231:
1230:
1210:
1208:
1207:
1202:
1191:
1190:
1175:
1174:
1162:
1161:
1142:
1131:
1116:
1114:
1113:
1101:
1090:
1089:
1077:
1076:
1057:
1046:
1031:
1029:
1028:
1016:
1011:
1010:
998:
997:
985:
984:
965:
954:
939:
937:
936:
924:
919:
918:
898:
896:
895:
890:
888:
887:
875:
874:
862:
861:
842:
831:
816:
814:
813:
801:
796:
795:
783:
782:
770:
769:
750:
739:
724:
722:
721:
709:
704:
703:
680:
678:
677:
672:
670:
669:
637:
635:
634:
629:
627:
626:
599:
597:
596:
591:
589:
588:
576:
575:
563:
562:
543:
532:
517:
515:
514:
502:
497:
496:
484:
483:
474:
473:
463:
458:
443:
441:
440:
428:
408:
406:
405:
400:
398:
397:
373:
371:
370:
365:
357:
356:
347:
346:
336:
331:
316:
314:
313:
301:
298:
273:
271:
270:
265:
257:
256:
240:
238:
237:
232:
224:
223:
211:
210:
198:
197:
172:
170:
169:
164:
156:
155:
145:
140:
115:
113:
112:
107:
104:
99:
84:
83:
21:
1694:
1693:
1689:
1688:
1687:
1685:
1684:
1683:
1659:
1658:
1657:
1656:
1600:
1594:
1581:
1577:
1545:
1527:
1514:
1503:
1502:
1454:
1438:
1419:
1377:
1354:
1343:
1330:
1329:
1314:
1301:
1282:
1240:
1222:
1214:
1213:
1182:
1166:
1147:
1105:
1081:
1062:
1020:
1002:
989:
970:
928:
910:
902:
901:
879:
866:
847:
805:
787:
774:
755:
713:
695:
690:
689:
661:
656:
655:
618:
613:
612:
580:
567:
548:
506:
488:
475:
465:
432:
422:
421:
389:
384:
383:
380:
348:
338:
305:
279:
278:
248:
243:
242:
215:
202:
189:
178:
177:
147:
121:
120:
75:
67:
66:
63:
23:
22:
15:
12:
11:
5:
1692:
1690:
1682:
1681:
1676:
1671:
1661:
1660:
1655:
1654:
1647:
1640:
1632:
1629:
1628:
1611:
1599:
1598:
1592:
1578:
1576:
1573:
1560:
1557:
1552:
1548:
1543:
1539:
1534:
1530:
1526:
1521:
1517:
1513:
1510:
1487:
1486:
1475:
1472:
1469:
1466:
1461:
1457:
1453:
1450:
1445:
1441:
1437:
1432:
1429:
1426:
1422:
1418:
1413:
1410:
1407:
1402:
1399:
1396:
1392:
1384:
1380:
1376:
1371:
1368:
1361:
1357:
1350:
1346:
1342:
1337:
1333:
1326:
1321:
1317:
1313:
1308:
1304:
1300:
1295:
1292:
1289:
1285:
1281:
1276:
1273:
1270:
1265:
1262:
1259:
1255:
1247:
1243:
1239:
1234:
1229:
1225:
1221:
1211:
1200:
1197:
1194:
1189:
1185:
1181:
1178:
1173:
1169:
1165:
1160:
1157:
1154:
1150:
1146:
1141:
1138:
1135:
1130:
1127:
1124:
1120:
1112:
1108:
1104:
1099:
1096:
1093:
1088:
1084:
1080:
1075:
1072:
1069:
1065:
1061:
1056:
1053:
1050:
1045:
1042:
1039:
1035:
1027:
1023:
1019:
1014:
1009:
1005:
1001:
996:
992:
988:
983:
980:
977:
973:
969:
964:
961:
958:
953:
950:
947:
943:
935:
931:
927:
922:
917:
913:
909:
899:
886:
882:
878:
873:
869:
865:
860:
857:
854:
850:
846:
841:
838:
835:
830:
827:
824:
820:
812:
808:
804:
799:
794:
790:
786:
781:
777:
773:
768:
765:
762:
758:
754:
749:
746:
743:
738:
735:
732:
728:
720:
716:
712:
707:
702:
698:
668:
664:
625:
621:
601:
600:
587:
583:
579:
574:
570:
566:
561:
558:
555:
551:
547:
542:
539:
536:
531:
528:
525:
521:
513:
509:
505:
500:
495:
491:
487:
482:
478:
472:
468:
462:
457:
454:
451:
447:
439:
435:
431:
396:
392:
379:
376:
375:
374:
363:
360:
355:
351:
345:
341:
335:
330:
327:
324:
320:
312:
308:
304:
297:
294:
291:
287:
263:
260:
255:
251:
230:
227:
222:
218:
214:
209:
205:
201:
196:
192:
188:
185:
174:
173:
162:
159:
154:
150:
144:
139:
136:
133:
129:
103:
98:
95:
92:
88:
82:
78:
74:
62:
59:
37:Shiryaev (1996
24:
14:
13:
10:
9:
6:
4:
3:
2:
1691:
1680:
1677:
1675:
1672:
1670:
1667:
1666:
1664:
1653:
1648:
1646:
1641:
1639:
1634:
1633:
1627:
1625:
1621:
1617:
1612:
1609:
1605:
1595:
1593:0-387-94549-0
1589:
1585:
1580:
1579:
1574:
1572:
1558:
1555:
1550:
1546:
1541:
1532:
1528:
1524:
1519:
1515:
1508:
1500:
1496:
1492:
1473:
1467:
1464:
1459:
1455:
1443:
1439:
1435:
1430:
1427:
1424:
1420:
1411:
1408:
1405:
1400:
1397:
1394:
1390:
1382:
1378:
1374:
1369:
1366:
1359:
1355:
1348:
1344:
1340:
1335:
1331:
1324:
1319:
1315:
1306:
1302:
1298:
1293:
1290:
1287:
1283:
1274:
1271:
1268:
1263:
1260:
1257:
1253:
1245:
1241:
1237:
1232:
1227:
1223:
1219:
1212:
1195:
1192:
1187:
1183:
1171:
1167:
1163:
1158:
1155:
1152:
1148:
1139:
1136:
1133:
1128:
1125:
1122:
1118:
1110:
1106:
1102:
1097:
1094:
1086:
1082:
1078:
1073:
1070:
1067:
1063:
1054:
1051:
1048:
1043:
1040:
1037:
1033:
1025:
1021:
1017:
1012:
1007:
1003:
994:
990:
986:
981:
978:
975:
971:
962:
959:
956:
951:
948:
945:
941:
933:
929:
925:
920:
915:
911:
907:
900:
884:
880:
871:
867:
863:
858:
855:
852:
848:
839:
836:
833:
828:
825:
822:
818:
810:
806:
802:
797:
792:
788:
779:
775:
771:
766:
763:
760:
756:
747:
744:
741:
736:
733:
730:
726:
718:
714:
710:
705:
700:
696:
688:
687:
686:
684:
681:converges to
666:
662:
653:
649:
645:
641:
623:
619:
610:
606:
585:
581:
572:
568:
564:
559:
556:
553:
549:
540:
537:
534:
529:
526:
523:
519:
511:
507:
503:
498:
493:
489:
485:
480:
476:
470:
466:
460:
455:
452:
449:
445:
437:
433:
429:
420:
419:
418:
416:
412:
394:
390:
377:
361:
358:
353:
349:
343:
339:
333:
328:
325:
322:
318:
310:
306:
302:
289:
277:
276:
275:
253:
249:
228:
225:
220:
216:
212:
207:
203:
199:
194:
190:
186:
183:
160:
157:
152:
148:
137:
134:
131:
127:
119:
118:
117:
96:
93:
90:
80:
76:
60:
58:
56:
53:
52:mathematician
50:
46:
42:
41:infinite sums
38:
34:
30:
19:
1624:expanding it
1613:
1583:
1498:
1494:
1490:
1488:
682:
651:
647:
643:
639:
608:
604:
602:
410:
381:
175:
64:
35:(see, e.g.,
32:
26:
1584:Probability
29:mathematics
1663:Categories
1575:References
642:-close to
1559:ϵ
1556:≤
1525:−
1509:ϵ
1489:Now, let
1465:−
1436:−
1409:−
1391:∑
1370:−
1341:−
1325:−
1299:−
1272:−
1254:∑
1233:−
1193:−
1164:−
1137:−
1119:∑
1098:−
1079:−
1052:−
1034:∑
1013:−
987:−
960:−
942:∑
921:−
864:−
837:−
819:∑
798:−
772:−
745:−
727:∑
706:−
603:Pick any
565:−
538:−
520:∑
499:−
446:∑
413:s. Using
319:∑
296:∞
293:→
262:∞
259:→
229:…
226:≤
213:≤
200:≤
143:∞
128:∑
102:∞
61:The lemma
611:so that
1674:Lemmas
1590:
274:that
49:German
1614:This
650:>
378:Proof
1620:stub
1588:ISBN
646:for
382:Let
241:and
187:<
638:is
286:lim
65:If
27:In
1665::
1571:.
417:,
411:x'
362:0.
57:.
31:,
1651:e
1644:t
1637:v
1626:.
1596:.
1551:n
1547:b
1542:/
1538:)
1533:N
1529:b
1520:n
1516:b
1512:(
1499:b
1495:s
1491:n
1474:.
1471:)
1468:s
1460:k
1456:S
1452:(
1449:)
1444:k
1440:b
1431:1
1428:+
1425:k
1421:b
1417:(
1412:1
1406:n
1401:N
1398:=
1395:k
1383:n
1379:b
1375:1
1367:s
1360:n
1356:b
1349:N
1345:b
1336:n
1332:b
1320:k
1316:S
1312:)
1307:k
1303:b
1294:1
1291:+
1288:k
1284:b
1280:(
1275:1
1269:N
1264:1
1261:=
1258:k
1246:n
1242:b
1238:1
1228:n
1224:S
1220:=
1199:)
1196:s
1188:k
1184:S
1180:(
1177:)
1172:k
1168:b
1159:1
1156:+
1153:k
1149:b
1145:(
1140:1
1134:n
1129:N
1126:=
1123:k
1111:n
1107:b
1103:1
1095:s
1092:)
1087:k
1083:b
1074:1
1071:+
1068:k
1064:b
1060:(
1055:1
1049:n
1044:N
1041:=
1038:k
1026:n
1022:b
1018:1
1008:k
1004:S
1000:)
995:k
991:b
982:1
979:+
976:k
972:b
968:(
963:1
957:N
952:1
949:=
946:k
934:n
930:b
926:1
916:n
912:S
908:=
885:k
881:S
877:)
872:k
868:b
859:1
856:+
853:k
849:b
845:(
840:1
834:n
829:N
826:=
823:k
811:n
807:b
803:1
793:k
789:S
785:)
780:k
776:b
767:1
764:+
761:k
757:b
753:(
748:1
742:N
737:1
734:=
731:k
719:n
715:b
711:1
701:n
697:S
683:s
667:k
663:S
652:N
648:k
644:s
640:ε
624:k
620:S
609:N
605:ε
586:k
582:S
578:)
573:k
569:b
560:1
557:+
554:k
550:b
546:(
541:1
535:n
530:1
527:=
524:k
512:n
508:b
504:1
494:n
490:S
486:=
481:k
477:x
471:k
467:b
461:n
456:1
453:=
450:k
438:n
434:b
430:1
395:k
391:S
359:=
354:k
350:x
344:k
340:b
334:n
329:1
326:=
323:k
311:n
307:b
303:1
290:n
254:n
250:b
221:3
217:b
208:2
204:b
195:1
191:b
184:0
161:s
158:=
153:m
149:x
138:1
135:=
132:m
97:1
94:=
91:n
87:)
81:n
77:x
73:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.