From a55e5e93cc24b178d4198c609e180b34a5334736 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Tue, 25 Mar 2025 12:52:27 +0100 Subject: [PATCH] doplnen dukaz Markovovy nerovnosti --- skripta.pdf | Bin 251883 -> 252022 bytes stochasticke-nerovnosti.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/skripta.pdf b/skripta.pdf index 9bd0494fcd322878092a6adf3159ab3355ee38e5..5179bc34370ffd180ef3ef9b446b1c0f09e89664 100644 GIT binary patch delta 13339 zcmai3Lv-E`uuY@JX>6yloyKls+qSJ=lEzNM#1z2v{Kr8XrxWTQ@H&JWmrDsU==d@9Fh0A4W z)yu%uRq8&HDj%BlxH%o|*(fnhKt1s#8`aQs)!$gMxXMEEugd^ZrBCVIcLxFJ{)|z z8vk*6o@ZgVdh>GmmrUW_iPKT=QB%CvE>kosD%*m$kS)w{CY{ZSyM2NIl5M83b1At* z)Dt@i)P!JrW@KmoK!#X;Lj$zxCz%D`Y`-bWD?AuujjaY>ZF|9<;t_&a2>Ug2yd)6{D~ z<~%(nR|%O#lSUXIA0?7<@|=l-7OEC6E1BpqOrSsRZ6Z9 zNUP4}?;^Cr7|< z-=AAAd}+9Ztjw(Mz`^1>G1bdeo$_^CmwzPTY|3l-E_T0ZOq@O1*DJEvP@{8~U#FGwJ2Ko_7Fo>cKJd_Z5;>xnLe_pK2i3d8- z_*{G$zD!>ATd8wV3E&C+_hQiAec8px)p}e!D9sw+dN1iidQPApU^tRhpG$2?1S(k; zgC8xA`OD$Ih(Ss4I?>nnshY{J1dlX$!k}KqeuBRtSu^PE{n^4T+n`4S-hAB{Bwe8C zAu`2H#g&}^#BK2BQnxrNABKg4@|}+dW&1;?!xp6f>STFG(}gw#DKVSvbm|joQ6&q)_53>-?+Gtj;O2dZw z1@td$tu4H0@>Ntf{QX8XV66;vb5bB7wq)@+9m?ps%`tI6%Dj1ZP!i@Dx$K?qmnT9V zHrTWR1PU-BR8`9hIp3C)Ki}UuRRp3-f=)wr4KmWOn*YQ*XPpis5BI|=ai^1VCh090 zRT{zh-q|oiA>XWU(5kv~}c1- z`GG@?C+8|`H1}=msysAwnMJm?XiQ}qAk>WdWlZmaw{CyL(Y}yIBPgsw3+S<1F5n z*LGNoJYbPB_62ED7M1_B{B^^58xU|<9FwG&itj*Q&dakT3n)g_W7i2z3hy10e65SE z)xJt%Mijb;4(b~=r8!!15vyZRrF0f@wbw&U7X0?3USQDfE^@EI%g~Ni@7FDz(oTzd z6vwFmO~-8UD13W~5kjwsNtS!{IJ}IANY@LE2AS1aNil4GAzRZEx5Zd0Cg6S5{pMAPYgN!Qjb0ijQ&TK8TO0mqTgAZ0l(nprsl8TCLKn zqh+3XddR@;{o;*#B{4r*4{mj3TZPE-xO+cid^t$IEEkj#Q>dEy_i`N5Q3+{^(W%p> zFDtA;l~tIQWm6F(TPEj}0azVD(Bs5ZWbYpPlyBF15a>s2=#8X5Dx1cMX7XggA6(z^AF_ifET0tkMm~WHXM3MS$}L}OR$3bH$+6f1&-n@XV7!}UuC9V+e8=RUh7PTx zirdJSU&g2fUlx+KmH<$(cA1vN**OnOYM0{YN+r%j9{BaCbap}gMINWvWk>Lz*i%8Mt!7Emu$p+0h|eRFnAB|9|9Zow zvUZl`pag>)GNxk&+ol?h7gt)n5d9q$T-H1CUl`t4hU9CJB7y0oJp6ISgJ&a4^q8C# zDGa`mTU|5#X}5Y=UE>B9T=KJ28nF=LuLBIJtifjM;=0X7aL43(;(<`g$biylp&0yT8`*v@MZ<~0Utx*(D$PVy8<@>mt>xa_{HWYk z$bPMDs%~3msK9lbv)bqBVY#@3FP>Gbt@ojsx6i zZ>zSju^6+dI#2k|?9@*%-i}hyhFXvST~p6Ln>^68`@CwBMIS05{(x88S4%)g47SAZ zX{0Af_~Kx0J}L}T7vVN2$|1d(^|zD*!GZJ?gwYD`GH_?@+xnvqsl!bl+qt@?4@p}N zWs5%fp$)F`7BbC94ftLT@AHRZv}BUN2TBzciI7P&%n-R||I`iQxGBS-LP&(U=-Z@@ z%P;1@p6j`eZ)$UFG%p@0l9Op7ii4Tv&e)yvF zk`%9yLGt5t!BD>dxy@?t=?!9w;ps=71JytZDE>j#mN`q5RDU<9=;dOCg*BeDW_am{ zy(PD()#l2IxDLJxdPr_*nOJ;irtrISrlvIW7eFrZXWF4b*oWUfScJyb>uIkZ;TJWJ zT#XKKnK^=Foa$X_P>;)1qu{TH62)vA>n22~vQt5S*VW1f{+9d6j9HY=)D6eTmQmSo zt2vAmBNWo*nlXfAW;KD$Jgn^omgzQ@Kvlo1raXDx$a47~u}0Ym6RmYb6Z`3OKQcE0 z4gqiPWCLgJX`?&tDIuG5TCeFZgr*h-5Gax26(`KaNpGfEv6GX5`a8=0#|-E@(jm^$ zsH*VrACS2+ka$doj$GL-BZ*3E;5iw7&D5Wddr;_Q60X$T@s9^*Ls1LS%5V|XVK8*d zVPnI1-xv)`GplG(y*5Eh#{R`EFx8=C^+1yA&+qL?xi6a8x*a5vM1IgNdNXxTM(0c8 z6pxzxPml=C@q)ht;MnyVEm_jv%e#q2o)ytJ{?iGFHk|dUdtu+|_YeW8r@>62l>#N^+{D5vO z{JKhkZvNLixJ%f`KalGC&nZE;a9DSn8c#liYmy5nTA?(rcWUYHl^GzMVqsUwH=eUm zTxMNN5wTo&?QeT&ENBn{O_LeBqU^uu0WsV&jR-{vrK&{i#_BisSuPyhW;w7r?v&27 zF&ymV8O=`8KBd*vU)RjehQ$j1*RSoLUyNSAeWbFAL1Huup+Pe7LUQmlJ4izgK>_+z zdqdpN#|uo6|k0L+2kcD8n~uG^Ow# zvOaWIf?y;%PIxBJEoqx`!*LFawWK4*aQZpktz=A0^8Xl~8hn6`!hjD~pSyF9>#Hk= zuFn_dC+~-_1R$g6bWg48 z5*!2I-9aOHzyE#Q;QjsZmAhs;#sPS9@_o2#U)FQ-CFF!O%wm<(;)%lqV)uM~p04zP z01h6&lxvqd`Q_lFsSHNi&U&v#&Qt7fM(#i|E;$Ou=SHxOdK=3Z-75;{ z<~@DP37Wc6bJNB@9s}<{G#mcFKp!DlFT@6)+esbBSk3*DJ-qYRSEv1 zNdkB?&cox$6YPFZoy&3vErq_ z!HGZubI>p0J^xa;+87XQ5AuS|mYYEF2~G(cp*Q3&X1#3KeoYY)#GHG^UCx?F*{53# zSD!MGe!&`AAvp-2565?e>&4E=G%+F?B|@a{&= z{A(KCf}A$TVkGO}pXKR#Pzk*n6RqRy@5*-ko20CsC$C-E`GXkpUb(xY;N5i=}mz*2RyY9*C$k1zkw8WEY zQMA=gbY{(~T7r^mNd-H$%62LTBtkw*u`YxGZq~eB1f9Cf_M9!FbVdYshog#OTwB$gdjkU^Y~$M z2iM9gegjzC@hNoWw`WZP*`bH|5o*Wv0y7X-D$2olW$ zrHbU-ARGBHD_DwoDjGx(Xy$lwwW+(M^m+1B9Jg}P;4~i-|Iy*xT7J>B?g_3h#d-H5 zWBv}=e!%`^hFd~ozoKiUt0n2I>-0kEsAO&ZLP2UXRUF4=$UkodmHu4eNaFZ-3#iAq zvwlkZ<2PE6-NaXH3gR#a<!KM?noM{su_1x_&7; z?;5zGM#aE-_v`qON%5Dn;!4uoR`;hRSPXuM%8o>88!pF3Luf86N#9RP6Ex~@8Um-V z`k8c|L!JMfVWqWr{#I1M&Q&2r0!RtW3v~X-}lS2AJ&(jNV0*4$;}D_U*Hq;{%-Ve^)fgK zbou(UpFMdQcmJR$l=`v!bdnp!=Tx(MccEW!qX;1XUd#LHnLOuviUP(0`kbrYO{;s0 zZm4hs>){y*hFp4Q5`Ggi>Q_Tm&r@xB7V2oX-R9F;A!7hOnTk4;Na2%N@n)cR5UlFG%pgMnpbDuJ5N8$iZ@hjarmO9e|9>#Acr zD`v_Hv1BR&v1I!nI^ZEm>adqVUzS|<%Arua5r9_cCBlCrW2`{jPeerT`^s0*uPk*+ zQV=BZH-*5K!F)BD`XdPvG#vW`$$R6w{$et8COy?p3ZO2(L zVV_yuv7RW=a^p-+Ff~8%frqPOLz?9xJxNeY! z2JbT;D|Q&BNUM9WyFbCvL?jx? zsrT3VnQ!-bo*DRF@VHG~grmfkWLQ&K46e$Ap1>4pCS4||i|IC9p)W_?75e?YE=7*y!h?1ocqzfML#VsO z$p39cs(lrnPX3u{U+p^DctGa+{e{@DIpRxs)|zFV1nPg~8L2z=?{FJL(LT4;1D64? z?3?e7w*BNX%(5iW&ugzJy2$^eqxoSrO`HZ$-yIrz3rDvs`^Tsa#Q(eCYP??4sxF^A zNyt=p2JQ`-O%i=fV^2B~T&Y7E16)t~Kc$~QvOPiQiD5k{gw6kgjkFXq19t@NT;0>v zk@4S=jqs!--btS%PHA68xo{$CbIp~(b|-;fKWtm=EKGT=5={C+q_tNz@Acn4wsbk^ z#b6g&UcV;3&y>ysUrDKM?(F_m4ev#XHqMP(Cv6%$KBi87h4~Ub#}(~l#<;o>6yR&2 z(p}6fFDkAz6Kfav=FUJq8f!$mxXQjl+~rv(pFyB<0p@DBUqkbeiltm)E0QLx!(mM_cy+t5I9~CcLKQ&7VUbNC_TUt4 z9KaS0z|w)v^V;~Th*EJmioyN7GL;m~vziV$7^EKK|pBWC>4uvFS-V>jhpkO|m_ zbiSr$Sx~?hpQDjyX_a}gQoT8P@Y;e?3#P?Y0LCO(`$Q=Rp-BsQ8u9W!(ksNZ6Y@Xu z0)}TE@9_q~dLBO<;qq%?CF30O&uBF3O~oB--%yy1pr=h1O~5}7kzI9n2@xvy7&`*u zq*VfvBV?b#Rsf#$)o8O1yktZ> z6^S3Bj*ZsyR z5;(a>8a|Uf$73cUlapXRi};)F6Tsu*g8I#3_0Zucaz-cZ49+U@g=I7;-G@%a{;EvY z2mG~N9l5iynxgPIl*yECVdHlOM@Sob5;kWgn4 zsO+T1*c(^Kcs73eu$i-Q#J6qpaY(EwX2RC5c+(U)*>IW2!mXU-Rd(pPL2v~`kOOd0 zjbesBPCCSTEL35=G6Ld$G9m_gDH{ah&ZT*U0RiFuTlI1fiEFqDP)Cq9gQPGOeY{_c zYuPtZSIyX&0P%kZ?)iG8S|BiREfH+Sr^s<0Bqq7JKyj+wU%9)3@fO{|Pq<@*Iw1IcL7fp?c->p@kR0O<7NuFVXeIG@0%Nk>a%@mC95-#=g896R{2e#M#> zlzTRm>gzI6@6$s22zKm{3zm!wo^jcmW<}lGY(|KpgpKc-y35CV|25MP5>d`My6(#1 zUw9y4gxG$=t&EATjOzo#zg~gKI%U~iX|A6VtxgDLHC+INETbupy&Lr&VA*pjORVry zT^*Wfr(aH9Yb(`jI-XB4_SMYtI~mKTr-esKNY2a*VjY1lEy4De2orJRkt*}6beO9E zlON3oT0=LE?a))kql`Zp*X=GcObupw3;ZTh;x?!byS!~F0xOuKIOfU6_v;78nCQ>o zTsP!6XCe=exU;PoASfVHfiMBPgQY4wN2xW@uNzXF8>$iqP3XT$X*1Xci-*Ky&W;qG z5apySh;3rJ`2=KjUq%exYZo6==$IY5j}>US5xU?_9o|vf05$jGZdbvBB&N0|G21Kj zfrQuyJSVKJ>M-7PQVU9b)o3=bVcytFOS2na$!YMs%Bn28^K2eg++B&5b%yL$6ugU= z{aKV^uJtcy!BAb12u(kJ5BOHEo({;uR@Rc3xbt=u{Ye{Y9LR{tP(t)V5Dg88M4={z zk9Ip<;OTnj0h*2mQa%=7%UYGKw{l1U0pwCLBxoP>(_SR{lL>dFtawR|5w;hw8Zwf> zfKl{;g62f?9BpQ_o9^#>MQKF2B6gUf0^KGTHa4$;EL8*(U$iNY-e+ja&ourJv3>b0 zp#)n<IAPBUWJ7$GHM& z>{r{IFi=>bI-!xJrKH`zl*E2lVNI)w&vn%awoskT(A zYtr>62=S4lKY7H3OHuA;Z5h>3%ug?|VMjwW6F?)TjQbyUXJGwFjK zEr7NlU@F+O$51&@ofdIc6T$qOsPLnHL*~~B`6E-Up!&vstdtaQel-6@NhnD9#{!U+ zLc~TNoO_XY5B)C!eDO1Ax*C@DQhh@1Y;Cn{)Aw^E-kEX>@WsL}i;~bfBTF6+NH})8 z8qqHFi=D-F8k2>oI8P};b})KC`mqS~Fp#d52F*Pz_9IWSCb+@(G59MfdZ$3^Plr?( zn~|GIy%wg46}h0z_)R@y$JSzcmXtyVHHE_O_;LJ6im*<8Lrz{OlVf-3Kp^YUIMRNS zQFI>RTXbMJzTvC3aX4MPWIaqJ#+)q8u6n2!onYWNJsq?y1gS6O9h$Dv4xy>!E)dp0 z5#c#YN`-eN{=5M_gJsOGP9+%C^nD_};4@%Y$1^g_BHR?6{yVq|?lsq~M=y^iYZP3f7ppb6p*ByYv00r0cP-~{1BqW_Xf+Oc`(!VJA8u^Ln2HjJ6a zZ%ZjbG5yjM63}z#6v&iI9XzjylUa55cFu7Vq>1wBm-w!b!!PIw+P&P)ChAPrLn@)$ z@Keh&kPCI;0^aTFDw(ong(gjZgM2$Qr@A+JaVG`UyD^!M3akaQv$wt2fb!z;ThKZ) z?kUJwSWKyg+oCY!yHsyG z!?xNeR!#5XdSK+>?hVL^Q}8o$ozRyT;3j4iqL_dtbBiMg_h1ZK)FV0^QAwItD;Z2Y zbYv6cOUqU$7t!L+M4H9{pitYksjxh~cr&N47lps`SEZD$5!Wr7ugwa2Xjpf@ws^7#WW*Ro<~uRd+j2l-u=DaKJ*mZ6I24;SR)1?B zzpk5&OYtGe?hpXi9!YLfY3t%J8c8)iQ)%1AU|(xn-Xb@qVQYT_!~#6 z|2wORz}}XW*??kPKe>)daU^221{(RjK5uq5GqAXCxqAQnFjP9DGKBZ1*UYyMf_a(K zi-9*-#q{^LT+Q!-RX=N>rmv*wR4_fI?q*hahe5LO!RH@3X*f*wECrG{(pFE*4dXEzVjw`p3{#_W+9 zi<4``e`yjbaQ?Dn6%uH?uc(Djb@#7$8g=lAxQ@YcA)@yODhY}CecyMrey3KBtP9I< zw{voj*>3`m7fb(+$Z*a_`X)2ZX~*@# z3AhDpPHr@8OV#iADym$XJ&#V`4B2gau+vdH{`$2WOe`oavRWscABG$7T;;VOt_YKa&)xd zV%H2GKfiM)%DU&*s@uk4&3dGIbdv2Tfa^b>B+T zrz2Mz=~95H$irhVHLM(Sjk~@1XBjnyA%iH1hayPMQ*NSy-BnviP}G@mrp#h@O=#lY zzAxbUSYu5~v3SV8Rzj$f-R;KhDtIFLFaJ};cCDcTosyXp8{by3J zV4yj|Luc-~wBq8hi-?AhGX_(aw}@+I0x^aH#^%b5*n_+Z7iun$CcMP*lKTodk-zu! zoisO?i7`>5qz3o*e% z;N*I91|#Y7E=7Vnff|sfE0(tr3#Ie83voBKd2sl;;QMs2#&csws2g44xN0kgqA^*4 zCd{H0%S^o;*>L-Y#J*9E5Jw2$$(NsMsZCTUB%Yn`o$cpqSJUVA(<#MwHiwEa^YxCC%2u%F>C=xHU=ajkK?3{ zI~*jPP^HJMev4%-CdWx8lwhQ4xVv3-WXp`D3{X2)R5ue86#Y(uwgUPI-0g-}5op@y z*?2I7aiy4W*V|<@Wq0|0UJRn`TehH>`RF97pJX(~>mP>?IpF9;S(e2d@c-KM)CT9Z zmgF^LAt!aewQ(taaGf)$OlR!>?mu?;{_jC^WbMXh6=SUlA2u-(Kt8LKkfkNT7&AE+N;T-RIZoA1fq0bHga6s}HO2W6=5TLBH-!#!lvfR_-5E9c-xq-+Ykz1* zkJ{OUPvP3p5wRU-WIwG5Tvx3vU2vXX!m71%+l-IHepkhJPw|t|x}2Sy+0vTH%N*bBiqo;FR5{d`)3??Y zv*0r`QTIF0lUJNYPL(qirlV>ss6VZFUzhuF9{2hqm)Lj>T`4U#6_jt!qFw`@_xC$_ zvh@NYoEzG(sowiQnHcPFcW|%J1%~l3LBAm0Mv7`>f|B0U@XTY=n?>R+;iu->+``G# zkqvW`m`B;==8%7#QI}LVk$}JVwS!d6HPJ)JY)kw5##CVA1$-e&O2Zp$n8;F&s}Egt zmKoP^#n*b+K7`V|))bc4OZ)$P%!A%`j|zdrb$)E)Hs%9hB1V5C7NRWyX?0tw7-Y797yxcyi98*|EsE=O6tqKFMpny2p}-NsBUm)iQ8V~ zwzIrg9mk0yeq*`|ZLel^(_yc>6JW0!8VfauQcTgY{?*i&GL{|DlGjj7%6HDt#7(K< zAvTvDGuL4)8_@lEd+}s3;2Jk~Z|7xx(Vwnu$4LNuy!Xah6i*2jGE8cm-%d*F)+Ze$ zwV*k8sQvS}Q}*DVUO9qn5A5-{jzh`rOgz+&W1FmEs#V!e$=163eS>9)S5C%w5@r1^Mkb)7>jC`D+byp4f!sbFw9)I}+0 z<&|MPCd4+%{2m%B$oDFJd8q0Fzo=-eQvJ^MFHFJU;}QHqMcvZ0oKWn;G_-M|i*(b< zXw)$2vHV6Zl2r@izpRk4?oHGxkvO?g<;OpC<-%W_1Kv6|>1*1UOr_`gKDo$$i9j0A&JEj`AHJ+?f5-@}VU(cLc%93YY~SwRwkYgN(^0UJpZlKT1b?E**eNpF8;J z1Vd64m(NULKkZ{PHXoc&Fqri=3P!l!-Lt3CR7s!`-MG_OQq7M*e**vJOt#7&W!>AN z)-nj`LT@c^0hl!nVgy5ViEP5fJN{Y86|0RljkJp!3jv@t4$jd!a>mbE!Pu^ppUbv3 zXEVXoc&-EKp6NUZx2ct7G604`b=ZSMJ<59HmwE6(=*myiS%M5M^Kw6o1kTqg2kC81 zQ=e?kNz3#<8Bv73Mt+Fkqk|N33vcc1NWs8NQs?v1hlu+Ka%REL*ea{F@D6VqIfC?m z|hl~{LZddSCA2iFjH!tM8yhwhkT-lL|8wT z-ih;weQ`TKz&EKQ0^kqtfN9?2+L&@>DW1LP$!dwx?~d7Q2|FSH>4OwOf*WyPZ)A%5 zN5D9|!C)f)Ne-g0eK>Ic0mcFQ0TM`yKkWEcrp@AD6#B zS#72OPi9G=rd{vJi?$g2wAiVKJw6*p9cIL%J_uLrEhJkAL=4a{DAaiT!L$%e%s~O#Vi?TJ?TBXlM*fl7Js2l520VF= zJ$J3u-At(4=ZdT))Y`R72llO(M|7gVX4Q*=;mB|T7^@2mr1awmZs6Vp7hD$n`2*S# zxOT`E7z>5mkp2@A4<~kjl zhBd(%aeI))E&kbKSM1a67r_CdXE>65j0Kew`32-|0Q}RiCGv(TwF(je%SYN>IOiOh-*n4f^t}vTe zCqEl(otwRS@45_ko|nCJFS`i+u(1gBP*_M^@t79ueKd<9?}3!1!{+n#lY10Q&GI_j zqcs@lG6p^6N6@n4X(+F>^9Sy=>NPx72N&RY5vx3<*B437<^5|XCv+=s0X=!izI2as zZQqpZ#nzXudYjEv&oA7u{U_)&C#MpRX3Ky+=x85x2?_nW8$WL-HBH!|?cw*}lLw64 zD5lNa0CO@9hY?g29=ZQ>eQpF&vw7*W(y53_T{>s~KusgHr7^uuB9p(a^~``!vpJCe z{E*LxiqowYdq|u2)^LcnN6p;GFOUQ@Ws-gDtfg24gSf^i21y0$zV7C8YooJ-^wfVnR@`Vr8rf~FX$RZ zQlA+$euJnRQQ?SOJ?N$xoZ&=o&pn*gqVtxTcYF`11if`5nAw~D-#7R#b1=64?>87Z YyLvjCnIo`qvaoUUAbkHWp&*IyKPfD0Qvd(} delta 13185 zcmaiaQ*@pUuyt&wjn$;FZQHhOn@?<~v6IGbY+H?OyLn^(-}$f3-MQGa)*fBW#jKhA zSdV&9hZ-0P-UQJK39zxU2nZm!y1AGe+aq|bU+Ky^{%l3>Ink8!OGX*2e?Hb({t<{t zQUF1V0;E`ZKZhFk( z@ROQ6!2S8G=vUfxLe}2`qHA{GFD3OEIbKt!pS>L+L_ zm0O>lVPzGfNcLFl0R4iW6{0qzHBv>jb*)0hEuSiWKYCF*MxO%i3Ul%_@4-aY@Q@-ev6C zn=5}eYEkJxdAL%dhju!ez~J23oH>qY@5kEb0eZ*xP3@~-aW#Y~z{*k=P$nHh?0jA8 zAOhtMDz4Pqo5IF+4_7R-%pw?fOFoiHh>ni z2QCYZAr*@9WY!d#YpivpU-;zEMa;q)5k-31_(jNfHZ{-nS5{)mN!MKrxwlNvmY+{G zl&}}nW5I(4a0$7NB9nA@2>8J&OnGjydljf}2i|aKe(WgBiV8<~i5_@|20W1liXZVg z^rTEEoRCt}apPh!Oh-a2jl9Y%zMTbY09srK7W%WBGhnbCdtiGQe8nngw%j`3KkN9PKx>~i?jOf0+sZ^g<@ zr0Mcwi>VDKLm zWEsA^5VASu16w+i7yq0#zl({Ie6V~lG49?g`<}T^H^>;_(ZFTT>_SRCc3X}df-3|s zVisCAG7z#svYKN2oSd!z=C8rN&fgdO?FO3M;{o>Df_5hFXj-Q1{ zu@D%m4=X*3+fK*dO9>H3*v`rUAIbL^mtMAgVn(CR#Lxj4vGdXu+i#wYGx3?>QojA5 z2o5B%xSNVA#ofz=pVx4>H#M$w(x^xgH3}}2z%wRu^s(QOGbsyKDvsAxkW@E)iUc65;A*vvKxHRg zNB?J9r0Y{@z#g` zTh!Mq{9O*8yNy{gk->|#rjc&n4jWew9dAm)nxdIvc7nm>Q2>fq(9>g%wG_#>wBAia zwW*gJTX61syU2tD_Ui68KTsf~on<6X*^jlqTr*MC)4bMFtHWb*{C~jHBEPHMKqRbS zXW9diQiX=5br9ilc_hO=YOH_#S7(g|EX1ZORG)d3N@jXQU=|j0j&ziU)0`I`#dh78 zX*q8={Pm~Qf?kiSUbgA^N_H<17ta!l*~HEYc-;{`1dGu};WS$qK6j|YB>&0aw$hU7 z38JaxTAG%@IbLS1w*_XUU*22kDM)aRpXdS5vz zYp(AKLWd4jDri%|KtU@}bQ6b`&QM;wC%bBlC@*f}d?h5?4!R!2_=dGCKRyjPOeR}b zi*T&wbkGS)n(XIgF=}KQ32CSbFEfVvPL|Y3qrt(yCEk>;R@DD9Gk|9? zswvXWB~7bpk!7_FSv;z0m{pgOK-Q`_LBjW2pNb!1zjgE)yU|F`SE%Mfv|!ul(naB_ z><*mtu|-IF^c+?>Md8f5c@ju|1xU>4U%QVVz+zpm@6rmK+qh_=8jywcGeSP zG7U&YG`{k-URCQIwOnm#b?4_rU;;X#26_4;t(Siit~*o&zCbDh^t;x$Z)>(M1vz|S zzvNFkP_Z{3T7KH)Z=f^d zC4bhYbErBZi$RRX)IE2&a7Z92h}G7 zWLg?{GBeB&U9bXg{PObetw{7b_>Aqf|D~XWFx|OQ&+dU>pFu!a5e)Q@d|W z7UQ%N7B4aQvF@zH2p>IdRR-|qBL+Ga6E=UpYRhoQp`44)7Ux~+%5)oD6hQLvtK5su z=6B)grN7>0IZ}3FA0;XCRTFVdSo(8IR&xMKuJz?%A->+zzC)RbFpNZ4z9xRN&@kzL z<=@HU?axLHaqQ)|i4QX;7quYJ&Gy_6PCKq`FY_LuSjAAuT3IpZ!v$`Q)!o(<>D;X+ zsvzJSKOYu*Kk$erh0{Ij=4hmNcGZHBCon1t z{+}c@+Lr#Y$JtMA`uBz^mg5H$WV;K$Uq7u8NU)!75mFh|`Ljd3Hze$~*`7 za#g;m=eXrWc!y)gi~t_Sd6k((WsPrjdUkYov@6FIMxUji*(`IJWmgOo8cV|;1W-kL z=+7~@!CXJYMdPU|xhs!~D2Cv_?+7Ae&jhK&$Cj;?`9q;s!dJ(fqv!n!oGG>zh%D z)u_pFwyF3ocr$gc%=t3Sy7I&e*ll@xSGVe1vr~;JykbC!75?^Et9XBE+J?cP_SS); z#7f z*`78>{qkEH41xAR?^9piPM$JByLO4_6@$DZKdOSQ$fCB6SuS^ZbOfQ2#p(1`NrLt8 z6%u?MR8nzGwxcC}2C<4PReoN1enCRtJ8rag zqC*ICL$EWoe#$_MKmu93l=?=bUb!~AY5>YBRKshxfbjY3Ukq({1J2?hsd2m{D{+4j z)>I!_2xV8S3aIre9oalk#;c*mOE9T{8-WFU(=T16p%|A1I&$%&7~`zZrjiC`W$F5R zM!@@SP!Q=f57nSHcEoug@Fka}@Zr^?RrrTru47^L#u1(#l#L%zj&+Db9)~8v=&*$k@PQlI3 zn~&+nR>m)nw~dz*&b!&ha5lYG6_8E;dZ>_E_P>+~KbNodMTim(_S+STuEHsKrF|JB z^oS_HVSt`iKLd>62|ZZXnGwO_mzEkUi_SRjegGhWi)`|?FQ6@9YD?x|C{a8_dL3>g z326vBKPpz5&v-ocp3q5r?a=db{s}nTZ140Cew-eC3(KG#VVXuXM$)l_i}Ri+F^`=A zV%gu&7g5ndelb6(BEL0AeO!-rcKY)9^S)v#Ww=PH>6aheWw;laa-I*Nn-ZBa&?_ZK ze*?fL<6$WZVx*5UkmLhGNrD8egZ;#ebY=1Nv7k9XN&|l`biBvL+N2yry^`Ml7~#hB ztPhbU;5joJa?`=gy4`3$eUT3f3{+JQD29FcaMRL7OEeqpKovXDxX{;lm)c=;1iPtv?D=eL|i z2TtUO(Ffh**+t){+nhWizUy{yqdZoA?@zsXT3MW^z0SzS95?b;;zkw^99kJil_8KZcIK>BEQs&6 zA;lHQY)ne(oZL2`Z!jQqpPW|Ze+6Eut%cOTQIn*LCF~>pVU6oZC&0MwY!p`|mI-mk zUP4B_A#F}7K<+Eex_h-ai0Pk~#PiSG4v&?7LSHz{RQ*W7^cUOn<-Rglr#Pp4p|nif z4)v1;1!Ukl$Hm5&uQX~{=JmMH&*|rD&&8=`{RE^7^B@JaK{3kD8Ar~&XnVAq9lLbgYvp@X_v|J;&6kyd&S>YC6Xm7%YV)ILkjk+#ql7S7rE; zy+5wy+B@(}8hgZt0HLNSEaA^BWuVaMgz@sa%;Ku;Y`Xa51n!O97BgAgjRRcYds{A^=C=`nUIpN^px z^^I#ys%-$}qSwF4wiKvCub!^G6NqJkB#fu252d}iT0;iY~9c6 z8UO-2AUhkwz!Xw5m|s50)MRHSxJh?7AH~>~5-)LmEL?6+4h%Qtz`gH+q}}~m+nIzE zV9>6o?y+Of=dZmO^VyS_juE5}$^<*jE~>g!H?%XJVK{v5 zo3Zw*dHD#kMBb@~|3d$+eZ%O?=aW;rf4Y5T)P7|zSyM9c*L^9mQ^Q)X0@6K@F#eXd%8b&TECpua=Q32 zXl?D8O9qMGUgtV+gr_=7reJ(;xfEB^`PmRYQ~Kb3G8;!98FNyX*HL&MvEpdB19*Kd zaeCGT+N_bBJO}NSC$CP%M^nq->=P`;VJDgc)QAre^Ca-oB*j$*_(-E?*`T025k8j3> zDJX~40=O$0`N6j5|CpDxxIR7~36PLm+O0x`cxc3od$&cy_Y@ju(Qt(oIklEI(E6U-0$qbI2zD z&EL8-`T`-)8kuDiJi7&D!|AepViJUW37H2N&zR}s!LM_pX3Vn>oYTEcQQ-OIQe?C~ zkw`E|#^XkTu#p_hyH3A1Ok#*gW5DYv5FzR<{=>06+H+)cTN-M89;POt(_hu+N%H#R zdT~G_-djvZ>u<5;7B){{R2&aP#%ehv#LsKecg*~?NVPZ)%hNOboHI=h;Y704WF2ep z7A-We7Oih!Eq29;v|E3JV~8+fAo{REg8#6S?0O?)lZ2A37DD6mf0NTd0prDShv-9* zAVmACS)}V1&lI*yIVaj*jtQn(e-2h^^biER&grv_4q0+ks*%AM0vGQ0sAF^CGhMt) z{w?gh;_k_9xO;mzKN{FceeM^sQZ$r!vcN{YqO-w?5+q`3=KhM#1!5aFS@p#*>9ByK zK>XtH=OyZot#K@t?CsMz75X$=3YwcQWgRMZZ0!j|kr}}zRg#e)EU{_oKfPoy>BRw< zmQNLyoGN%kw#C5M0z|Y+$R~AF;Lu_@|k*zI3j9HAf?SYXSK819TR+f}a zX|G=&4A^JEXVMHw#T$2R=JXG21AfpFHb}JpN&C)!i3C&bxQdJP53ExjN$F})B8J}Q zKdJ=V(1;_Zr;CPBJ4umGwrsh70=eR1+r!YtaW3RDtE;AbxhNrv#jjUY^MXg^U5rd2 z|0sd4A@D-_ikUwiepxwvyzcx;<@UKX6quk@tY`fjdf7}!$bZmG7;L!-h!d%F+h7ud zO@Rj2`u_kIE?FHCiq~o#C=Ri0U^j%c;g}G@=I9XmzO4qG<=5u#{`Gpjb&AjNH!O}p zDJ+iW?{5vY$-61<*>7ocb}E$=IkMwtRa-Bum*gj`Jg?oi1T#JJRSferd+`YiBIB#h zXGh*y0$V|Y%awNCv4FS-7fD=}W9*D~pOS0T?NUVkmy1cY&@zj?yDoXw;0}iQnX$P< zTPm7GSU29FYn-WLum}Bt#;ohEe|VP(PA5{(kshc(mc61!1^`~ZS_GS8f=FZ(P47Wt zxqXz6di*c==2nuXym{9J^@XJ7A)kPI4uw(2yNrmD=Y%6}Plq%sTZXrZ6WlBMN}eQd zKIBTbB;$iz<13O~a60wkKJ}|s<4+NGr%r$5TJxWQ=ocjM3}(YX=MpgYm;QhMF)fz- zLO9i9EOC--V4)VNiG|!ftPiKwyu2M=H4O`%zA}2pa*Q@y|5r0s)k8%){HZKrn1*gi zn22mG2C=cNj*EP44@>&qf}vjqz}VNuVSZ)rr*dM*+f#b zjkyvWS){0kNNN?m0h_cU;wC>%Bko|0=+Ginkb$`akb)QOGmC>(B>38=7W?l7kd5Ud)f=_|RQ#vxl2 zNqAK&pSJNbu=>wALHqmS`+rUo#=gv%`Up*>>}4S}D?t)-`y>Y;lUSvTaER7jR=QoR zt{Wh{AB3o%QHaoLfCI+gDg`ApOOH`NO+ajXAsxAfdV!Uu^pM%HL*0dHqLs&G9Hj1DApEP3%+9T%zHM+(3R)lv!U`C7n!XG%SK&Hg;TOiJF+T~d7j z8b>qjcdbgj8J8$}DH46O5XW_hl`M{d{d@I@l%22`JXr&D(l28~(nuMkHxHXd~BAmng7kX(r1SCQ>#$aDR6Y4<~!O2>=W(F&AfH7e6 zxi!kDZBtT)Lcra;+aISAL)b-iC0u67rD3Tv>vaZaP2;1iIJLM5Ih2|08^|@u0I+I? zZV#wQN~umoNS7{ds%E;lDw?k^2(C8UoR+u~{ut(T`=MHROtkr%dNH-&n|FDQ7Aq3ziP{I=iEz?X#>Fh%}_%&8?!h z>xn71Nfy!>M|rLL?PWR}8%IgeF9RICao59fOzYx~Wj8k9K5`{Dz$~(X4pL=f){E%n zUToJ6Y@!C;+CByByBN+D8i|C~Z$gL#;S)j#fnt`i4Jbb`8*R9$lvjkI#1UYM7fS5@ zF3lbyV{ya_j|p3g7KU2u`wTpquUZ8!6og2+$LpSW&*lBaXc^*&Yi5H>iWXAPOkm<> z2DV^kOwqKo!Jc1Wf|Bc*-~x-wfQjRaStVAwYzUT(ckd6erq`<86#6_M{G9!_zZ_k(V&@8r(ACluRx8@IqP`&VwjvT3I;fz<3B^M(@D{X-J5k5drFmW=G8xISQ@r!zo`aRG^N;_br>?^S|r zc{5+cGUG0ntLytefIZLk1nsOh^?MNFvr~#{+LQS<>mkaog8*C|X}BrD?X_IX}*WUbQe zbwnFdyXTXn(@kTbHoJyDlhHg7gr2I%O(yLxah7<9eUW`ffUzQeySpvSW>U*v@F!(t zPIYwe8ZitTgdUP_*?6e*71@GYyoC-+@Aq4y(Jl+pG_;FLOC7?EdXM)YWc(t*V089MwDsx#P&5Jjb|w>C~q$L#La>qh}_~N`)nsv zDO~LbEo_JT8*G#Qj@3hFft8^ruxl*Npq42qxx(^gz^M(1q;h&ZCb!vB0yb4=i15W| z&mq-OTvQX$NNynz+zxgj+$G*fK3^GRt%A;#s?RmLd)Vlba!olwuz1&b{ltGzfpMK< zw~YNRE$~1l0f^@pPttmyq(8Cwd_)Q}oT4~KIfM?ukN^*Z8XLNmU40*Uf+d?&&lHK> z4}zzF##-j*{7a&0$LTUkL%S@RBoBqfkh)hV(XmxTBNQJUMV6nG0HsMl~!Z74BRl%z5U$PeXZPM56zy0EsTNU0uOqs5a6wehVB;P*2uc5GgEbyB}&X=>W31%aUL%2 z?F>GBV~daxj}q|uFp^4Y+Qlw$FER)Ws|!e)q_b;6>_7TTvobh!0F2CC8;tN0WbnO1 zKd|U1ahtf=LiUi8MZ78L8gkj1TZ(@|*e0x%)z`!|ZlM#a;WT&i;kFR{LE^E1K6~l* zs?I&kL=mS!1@S-m?nKjS=rG0eFwOI@LvhBQ>XIY6@nx9sJzs0s*+mRNZZhlN5bscq zcVtM&86b3CZr6b_zZ*NR_hJQN$OBd)-`sIB?W14Qmx0qS6DiY~mP{XI1#ODy(*H;l zqN^N!V@zUNYh#`~i!f8X)N}g+Ww8)En91NF((*bbbYiB|8NzVjYrfMiL`=MyDdzAK z^C+5HI_I}y&+7Qda9nE%6PEnsE{J5SsTkmOKkcp1Dlp5t1}=+yoHxB})V-4*>R1nj zs`AbnRVj0G@kYW6_cq~4rkc7DUS#S+G#!g$m3amC37w}-Wx;InV9^NxTMJ{1O#;-j zP`qx88PFOgQJ~cQ;~{CcK34UQK~B%T4klAhcn?tzRtlB=UL?#(c(PRq;5Q`(X{WSi#ck6z5bmGv*s;d)VFyA;E_g{V~pu0xK zPUZ6lJ@1Z3v;w{!_ck8PIh9UN>h1yTxHD_-53R$0I=omu*iw)u?ru%EzdTNi*xs~0 zRJt+}Dqp;O0#3$(@+^kYNylEJ-;b))Q-}YQwl(?lx-;YFIz%oRdPgM$b*}xrK#!+`S@{0hR?hlOp@eh$*;WngI$gGf z!<>IjbgYB{Byb&>yr4!g+2>5FwaQ)!9Y1_}XVfOU;$B9b0r#fzk2%oc$6$!3qsHdY z29)f1pm;@gAo+8RQB(&!)}gE?JB6RQ>hnvXdCV)GR>f>yb$!vjKvGHmdykUzN@3Ac z#Ki5*Xo4ZXF7tsSI?cmb7L3}ad;!KZN4b|HzLGP5bIj0skeU$+C!mchffoL zT5k8Fmr?B;QGsS9e;J;n|`Ex+^dbwX-LSpupcpZ=Z7wu#Z) z*1ZOhjZaReJGXCVQ#8!fEx(C2Ye@850Y9nn!CqgqaaOZU*}WwJ7`C0}{oQ|znA~`C zBqr>&sdtqv6!%Qg^)EiupzdUE%Fr0VAUAgATl!fz{C@v;zHWd*Z~f)J;@&Ir9!`xZ z_v+`51{be?{~jVNkq!QkIzrNKT`q4@b-Du^jk+6I5qi~Rh@6hKWptjYAHLR1v{|P% zo1vhHqA3n_4kgp|%-S`|g)NZ)$Ibid!a>7^LY?WmYMKdyG3;Z|TG5M%_p>)w#2Y{U zvUtgdL}0pOLP9?O$Hv|qt-66|#0Mgio!wPZ_440;LZXOxS5)3rt+RV`EcxE@`QBx zO2tXNtdymF7nf!#tdzZd*V}v>0a}ZNO07?B+O+%=b#=ci{plFR14i`*9Dp8cDIH<) z_l{d^xMd^!7-MCOGlTk951vAF!X2=;)>~N;tCoJJHF;|W)vH(BP;r$jpRGt*`=4>( zkgHn6+W7SNcY3xU$h1C}B5-h?Z?AW|{ve|1NZ@H|QmjeQa@!FlzcDm8esp4d+n|FI zqs-p#xO#s8C(%PwsyTermI37T%Zc@oqdA4o9+~J(LBW5IZbHi|-^Va^1~`HrA~U6% zwZ5J3HE2%5#~yic;l>I2)1XBA4jVi7dMWYI5q(dHp&WJ`Zrm^TGU%c*z^aR08Fs!c z^)h@{_M__4bk>MPASvZy6u>^%|B3;=r|cJHU^VXldG=&x#2Wt7M$_}nFvf8hh-O^E zU0eqfo#g8*?r)jf?KwD=0UZ1Oy${dzS7GB^JrMgFF$sc&yC8?T@S@nQMLs!5F@QQ~2T@H#hkOOzi z`#C*#X%k(~ZWy?CPCE~wz(HrI$IzRkT9j=iU?Ivik`b+^=JKsMV`^s9a&X*^kBXAto4UGe`opt| zRZ-0!U9x6sNYtH>b;hWJ$ zX5&>LL>1fwKA+j81if}R-JkVqv_F@I8eG`$UkRpN#{0Mjc_t5}>@n9{;8z45o&C0* zSeNmL7RpIoe(;z!Rk)4iIQnecK6SO)=r*oYx8kc^ZCBGX z;{Q^z{=2s50}ut+jmF8RqE^+_M7THGpw-~9{q|$7JwapJE-%NuP}0`xm*u(({5@4s zT-8|ei<>@oHUhI^Os=`7JFDh!Bx}H`t1Snqwl9s2cBhf}cPg!@%_M*G$aVZD( zjXkIK2)9#GeI>p!KvJ;lYj18LB!Xr95o*cF7FX{)4k$yxCHTUC`KnipBy>c2Gjq~a zX^@a`=Oz~2SOMkBkGQ^@TFa^ycV^dhFQROfw0Ppb4TrxFeR$kIpLO>VcK3KLVoMxc zKf3b5&i|oI6V2t$NjiVOO)8oI9mG$MG6(VL59jVVhVWUt)yz9$TU% z174knRzgh&tj;xrf%)}mrENO5d;;R0&s=YZu4}Wi@8=7!+-WLouw*pk^ZC~~g@4^KvS>d&H1jkyghz`XKrf>0 zP(i*luS4TYu^&E@6?|FUxVW7tw}mWi%OP`D$qfGaIoi0BkG{Y!v(S2!*??+m)4XH{ zJU_wm=4JA{CH`SEtQqB`bsksAQr(y6+EQQJo|fI(;xo-gyo7<+=@#VidQ?dB<)2_{ z?dVhR*Y&YzMja4r@{}*mCG1|xdcmXNc_FS>|^`v(9OgCA} zFY5+;o(Y^orTrDTngsou@!yi!N{;MJXuigN_TJ<3yk1_?Hm9pjldFkF$+tgFt`Z6O zzieEbWasQI8%Sndx8t}LyE6Bkw1iG`?C9UcK)DZKJ?jhFJ6yOQV##y3wm#nCbk5#p z1f2WkC%~_`a2nRGJ~Mv$LWQRr3qoS1m(4-qiI}l)bF!Lpm~t_j7&BS0m@u(38(VO3 zGBKI3voo8qvkLJ2Um59;^N>;i_x~1Dv#)3>sat*v-vh4bJ;W}%jq2bYAa>Sa zak+@G4@C5$WtkAu_Ym~LZ2!^fCEzo|-VJ$cKgJ8(JZtHtYT3%n@u6e0FJ>`imF=5g z)KJUc<>*Q1-R#sb%6=t#t_5eGO(r1@#d(=%rj?;@QZO{Hz9O&@UH9p0Q8DnZ)mBIy z#OQvvkmmyAab3urz4NOR3K(e}zI<(I7Su>2qj}#_9@I~1qdPH8<<+yCoa?r=RO2W_ zHa8NM)ykrNuAn^$%)DmZFO4-1`S;lQ+rQ!+@@Q%Pe6NweV6G9bRoteXuRl!TEU1ul zpu+eldx$%|h#8t~EM=BI%{s(f7Mo+k$aGoCqF@7*4@+0&etxvcXS3Q%I0Vs)r+t|$ zXvj4?(kJ_my>i^whJZBk(}Fq< zJujseqz|VZm)(la=s>l3?77w*k$#&t^4M9|hqe1JyfrrxJ1Lv`U1MGszJH$vLfQLUIpSC^=_vnlbht}tVs>Pl+h<;K2w^XX#6zFdY zwnUL3PH_H$ASQx%GUsoqA8X*x?EVPx#dDhY37F0-3g%g2dGV~y9Nj%{1R!USh@KoP zPQ+iceHT4x!Czf4D|-@C#+AL|L@z(R@wtJ_E=bRPhRta=uJ{7#A^x^>gWfp*w)|sV z5IBemB+M5YaSOLFXZ8_8Ao_vQYs>?q>O}Y948jF@gSbG@U6JYkd`l}1C%vHS<}VBn z@w5d`xZhDIcg6T-Q`zT=GsTwq>pJzHysb-LpO(7yQ6?7@e`xkaYatG1o_{dKl>!(N zM*oRlMM)bFG{m4d9Y9R{Cv6t7;Jh2t5qX{b2BV$^Z^=_Vx7VLttkyRPBB$P&u zi(Adf)%ez6=O}Zz1%jPf5>J5wD`cncl-1(?*CV@HrR)FQZNVP|@(1o||7_>`^iB^v z$gLC}Bj3MbPYHb-yCa@GRqt%D==HN@SLf^P*h2cFXqV~MgSE0u5A$VRWdJeRr<_Tg zrUH2df{{M)JfRWFoGJoDqFW-bs%1`ySi9DIleGCiFUmRsv2QWX8Rq4Eaq9}MNk0zD zlsHeU`3Bu!&lQ%Rcp^F~JPNNHF1#QeiyUrrpW%oPFzJTMv|?wK6bpToINt@3K4kgZ zTlf=JZUwgcHoPz$_XxXUo`7f04&w6`zfjcr3rJH)Jg&1EF?n-}y+(c!lT8Kw{3g)HNJ|7SF|{8z0My6qFf z!Vynhh@+Z^!QrP#DEW$u6Es zO?8-fYYP;t#L&cN@Qz!Nh8^b8a0I_^neKNick4<@r}(Yc>G#o5p`Mv{^0OvTpTqds z9FRsC1K4IBK^DHRgMR%bG*|=4=*8JO6FT(SO%2PpeQ!NbK--M-b;^Gh49{Em0v`?h WVo8@@g(OB`X5~a6Cl^ 0$ máme, že pravděpodobnost $$ P[X \geq \varepsilon] = \int_{\{\omega\in\Omega: X(\omega) \geq \varepsilon\}} dP(\omega) \leq \int_{\{\omega \in \Omega: X(\omega) \geq \varepsilon\}} \frac{X(\omega)}{\varepsilon} dP(\omega) \leq $$ $$ \int_\Omega \frac{X(\omega)}{\varepsilon} dP(\omega) = \frac{1}{\varepsilon} \int_\Omega X(\omega)dP(\omega) = \frac{\E X}{\varepsilon},$$ - kde první nerovnost + kde první nerovnost platí díky tomu, že $X(\omega) > \varepsilon$ a tedy $\frac{X(\omega)}{\varepsilon} > 1$. \end{proof} \begin{corollary}[Zobecněná Markovova nerovnost]