CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="390"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "zbmath.org",cType: 'managed',cRay: '92db513b7ca23fdd',cH: 'RTMgR4oZQZWXSXMhG8eTWBLHgVBDrNtOZExlo5rkXxI-1744215474-1.2.1.1-wdIeW.OW_mJoLtsHQSD9R8w21ZdOxkhhpdSpov6zC4uai9ClphzKeUo9DF63CM._',cUPMDTk: "\/1461.93465?__cf_chl_tk=7zm5l62QTw0iLfsCbn6bAjAPjUMWsCWM8_.Xy9eM5ik-1744215474-1.0.1.1-fPt9uC2BE7FkrxfvmSsYTw66W664duP2hg41s5HTNjs",cFPWv: 'g',cITimeS: '1744215474',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1461.93465?__cf_chl_f_tk=7zm5l62QTw0iLfsCbn6bAjAPjUMWsCWM8_.Xy9eM5ik-1744215474-1.0.1.1-fPt9uC2BE7FkrxfvmSsYTw66W664duP2hg41s5HTNjs",md: "PK62o0SYEnZysmGpLc3BBunhslcVX0nGUsySCeyMQjo-1744215474-1.2.1.1-_KUijU2_QPIIEkZ0T56xOmIXdgfkxPf_bjjFEV9iaTyuQLuS4ExoCifyh4sFs4hUcuqDOSD.kRlfEgtA15ypS0j.9m1gQRsNjjkcMMfTBU.8bzzmecCWSiJ.hEuErlc2fl3QKNz9xSQf1HEPoFMp_ZUcutA_0oc6wtwmAKpkHGS9o97g6cyyhCOqOGMu9Ucc2ykX1psnFlcfwyCZHtx.t054oLIW1nDDO_ruZLa1B0Biq6EeSozsQKl5qmcMiSRdtJdPyRYQ6cNAOT9FfwoiqfTLtjJJDH7zSpR4fYqsLZMzoHnghBsnL6rUudwIHNW17lQD_fAvZsyfTEZG.lYdQ8zWJqJg_4Xj8PmB6bLX930Cl56rkurcfEF2sOpFz_kfvqINQtP6u9KwmUTtf74.pLpVwLTuYZiqOOZ1_p_H2VuJNGnPAReiP4ta2gCuNpYnfasaVFoNPnEIyFWxS33WSTGbcho_e2FfNPPIP3rrIGDVwKSeEWp78fa73Vf68NT.vIHab1dRMbAo3nfHvbhrOT_e.31ixsFY2UTsqH1zRERxsGfr80rbU_XBwa91.pRCeHNUJLc69CF5DV2K.Lv13yHxzeRtjUAeSl3IBICwLHvPG4OJScbF7HzsvqTp5U2MwHUcW5aBXdZwSy73Q0MxbBjioCcFsp.YZOkbNlo3R2ptzoU4.JCCwcQ_gIIYZ90Vr3Tb0jSqFaylL3fpnKG5yeghUu4lWzDZznl0dn7zgM_ySG3VpX6i6pM7Qrd_5lbpPk_SJE6L4Jb3TVtb1HIoKpAc9THtjtzsHWOKlvJBhIRMIK6c6S23NfOrUsrbeuuE7rB140mRc7wdp6rciyRitQgzMdlahDonMbWGG2qtkQ7.xWjomIzZdkY8EFp0.GDFsjKkGzOj3bHNIgGg6NBJF0o3kC0WzgnqRCoVIHeu2N99RtTITlHDfscHz91lz2fbroSTbro8fS_frRBnXoEBiYST.RA4XNpuuHZafvbXvUNw55j9W7k5LEEbkCcNCfdW3nU8CcVQpZoz5eFYbhK3CnddfZiWz7Dh41mIl3fxkBXE4v_WxC4Y25dOyyNkUbL9ziNLdml2.ah7ozocw1VLeAXoo5m3E_W2rfRjjhp1sJ3NfJMZtGrFKuSvJN_mz_eMWuAi.WW2Hmz80JgglSe.ni2iyXfWQnnTYX_eduZTEHYT7n0E_eEYEQ8XxzkXJW3W",mdrd: "odpQfO6Ati5gxpmO1c08OdjSMeVuteMfJktQ0AsfPgQ-1744215474-1.2.1.1-4HdLr8WBjnYQjGiOYMNSdK4SaIASbzseQpX7pnrIHe39GNmBQ7kZBvghMavSc8lKlGE4HU6RTGB7u6pa_v5Acm9nfRaUpeg7.WOeTdqjYIzlrNSmgNTjucjxuO7JhHGAvGSDib0Tyjq.aKVtNsRIVruAnmZAfaG_r2kzNeHS.K8bMT_Kzxs9Jxm3QzuE43jQxOa6PqdPQvWPCvmzTMPA7hz.uUm_PITW0VMBQ6rl9Wo.B1O3pap_l9yuSaZaNOZhfS_PgyoMZb.GePV3lmHj0c0a42BBXreumiGvHERnLJYyM.TsmvYXz5id0Du_go0V28aJkjuTR5O74oEIAoXnu6Le1jsFCaabXKJ1icw1_RVMeoFqm0WnDHsLBkgbCycWJn_csRyaHApHVtM5HjBFXRQUOEYv3DHFvkX7DDXON6x4vFa0NKPYjgcjR4OpKJEbD9qb5x.8tLAJBP1DxyCKSmGIi2QQWaDfEaHtWUchUrwhT.6CLrlM_3eluI4I50p9tbxBv9rLUxinsfuEaCFvmDDp4lNxPPJPbtce5VJ8A1EdD7wfeAUyf8XxWu_b6aXy_RXIUMSZjgdQChWRjN0nogaDujdoIUNHGWFb5Y9UClbC0RKYihy3Sb_44kcZRFHnSmAwSpGbfVMyuTjBZV4guO8eB1uQutBU7yr1DD2QUcQxYHe00fVacGws.NOk7V1NBiCcVdD9wSSdLRPPlVfhyO3ADqlpptJFYz60vEtzjxC3G.Fq9RnSSCNMjafGZ1o1VPum9KW0Gu6NTkYO8F8xz29cK_cxO25o.PL6qZeeHEmWi6qBevm2zxyCZXfW3tBIOgu3fWZ7osCiG83SEoPOfVS6xmEqoZNmtWO_9bCqzm0KlPPRWDuGo2FWqTwnzeL17A5TIp5DuQleVrbQCUCZ25EGTnLKDpD5tV5Oqh2_A9jnzZcbnSQHhkqRR8BvQ.sse.itlG68tXlY3QFstuuTk3cnbCC6FQl5Er.b_8VNnGxtU2caE3grfbeFkC94sNEpb7Lak6CBmngYUzf7AWtjRthb4DvWL1D0y9DUrbaJCRhd9aUvjhzvlg5ujsU5uFFY72Z8kI1xjqDY9jtF3lrXFB9XV2Iy5eMc6NQWyF13Sb7h9ks4DFRTyt7MXzTWadwqVSVPIb_Ev2gg90uJYgOy_nghAtbeVyNdrPwwnznjrA4AgKiqtyGGt0a1hr6B5xURsboqiu_YhUBjTXVNprYR8SdRro_wc.Ptw_9CAlIoNU6rwqhDx7Fifng_D1Z0hfmoxsJ2qVlyh3d6ujs5VJcQ6jleNa6_Jz7i3Jj3JPKwzBR1mdMSls60eSmCxkfUbuE7N4YYTI58qDsOD6.U1Jh92wjLaMdTEOUls6CAL2IRPlB1rzaEGXKboqLq_HCStOlqLz.kpM.bxRFg4N_oLpmiloaRL8z.N3W3rfht2gDIgWlko2KDQPmIbIv0PhGsGFzVYmJ39rusPnIAvjl0Q4CQtI_GPqYah.AkVslO0Oq0glvb537se5ysFPDEF_lGwLWqimJGkuwf1G0xHY5wR6QPafzduu9nqWZ8haYEftcgEcPVGYbdKn1qi1ronJ.4tdj4oz8jSvbyVxV_230yc0PGl2NpAiYKIYtPNwXlg1pRB67WkYnUkbhpbcfxG7cCgNB21.S36m.jdBsu.tTw0QqEarWkZd6Nm0M4ZDD3oJCCMdPv0hfiI22X0wsEeSBocJNJpv8PadrVtsrd583Q5PdcrWDQcJjbnjSQ7SvXu50MN867cp4646ZgV_IxEphU945KLlt0Jv6T.Hkmb.nVUBS0FTvgp.iUmthbWPy2HJle2LPUPfdGOSe05wfiIKteL8TJhit3zbPGXWfD6j.rzx1ivDJXz3dcj171F0oV.1EKizgjgDSaXVQI9OlFHSMhAt.SvvTPWSWR_eonqdt2vpfAm6p2CjQUT.4h4raghznuhJHW.e_X9oCs23dLQCgTEtKYSSVunG_vXJc11pJVYDOO177TqmyjZyZV2Aq1NacGw.1nnnV9PnWf.oZ90Drof6EE"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92db513b7ca23fdd';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/1461.93465?__cf_chl_rt_tk=7zm5l62QTw0iLfsCbn6bAjAPjUMWsCWM8_.Xy9eM5ik-1744215474-1.0.1.1-fPt9uC2BE7FkrxfvmSsYTw66W664duP2hg41s5HTNjs" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>