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: '92d7c5964ad8fdbe',cH: 'DEMlpvtydsF0xE1k20G.25Hrf7bs03axb1ZpvS5sjng-1744178297-1.2.1.1-lzZM6v1mnkFpAdKudEQwnAr2ONwizK3GiXpYz_cOc.Nau_VSJlm58Jg3_TD0Kfuk',cUPMDTk: "\/0339.54009?__cf_chl_tk=Evyo1afxjWi00wlWSDFlCh.WscvHIzwJ.hM2QNF1f_Q-1744178297-1.0.1.1-BmqLz.NdvBtNw5nPfAGlA6EhnAokv.XFxVaMajxeVJc",cFPWv: 'g',cITimeS: '1744178297',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0339.54009?__cf_chl_f_tk=Evyo1afxjWi00wlWSDFlCh.WscvHIzwJ.hM2QNF1f_Q-1744178297-1.0.1.1-BmqLz.NdvBtNw5nPfAGlA6EhnAokv.XFxVaMajxeVJc",md: "uaC_Oya5aKANhlruqXAoEWPqgtUh4tqqCUPt1bw7btA-1744178297-1.2.1.1-Ghppj_5g5nx4mdrzOYIqrmOV3zA0GlmMfTNmB94gP_utfR19WujYG33aY8qxK2wEMgZiCdyeY4Lh.jUtYiCgpYJ2FmCNG2ODNEHg5N7bJj743GNaeERfJcrQ0EZuslDFNSkNuSgoXg.EdFRo9usx71N6yLCNBkXaLLvEymSJBo_XTm3C.LyNEaNP1y9YB6u2GH6.LuBIRcEiGGvhV.kCvQv187pHNYXIIQf.Otwv_Y15VADOGqbOCL6N8wAhdWI8QamivHjLAmC7.DcbNH9ko85TbZHYvpyDravlYFXug83yN7nI5cxp6vj1kGnCTkoPjAwVBcZtHbLSajomeenU7p5D0iDYVnrn7jsLotosWvKJs2KjAQk_7oP8YCXWKEiPMNs3TVhYP1KszHr7B.tDW7ZlhmbUrF1HlgjmQIsCNTh18h2e2UUYPQylpbY6v04yi4FAht5kwg6F_x6Ncw1aVk56S7LJoTRRCsZRECXtTluMOPCflWEK02HLrmA9evuZsDEVX63HWXM2uywOBOtLEYD1h77o54JBiMrMTe99_i1.Ox.kiCSegh6ye79m1K1DFZgmUzBQrRgfbMBks9c2TELqFiUAAKR4eV9bQtwm3q6yhyK_4VgZCruSKxLF0SNBhWJIWKslxMUsedv.2r2p4DXRQl.ou1Ws15bglkPxrcASidnXPbUBQR9_KkAgJqO2ZpJg.GzR8y1obskyMFsQ3CXPuKfgsgpceb.w17.Eg7bhHCVbEHhS9CdsPPIABPhxPDeeIMniz8o8ynXjf9BtmGZSaw2mtWJ1gh3Usowq3EVuWqwOxMJq4HFM_Bhj72D7_PYNA6QqwB8qfx5c6Vq4DNh9Eqn.VVakTdb2cFQ_m1_QJL_TbC1lcNpPHKqoXTzBlLrwISUCHRxmK1mj5cuJvqDgPYN5Ay194Gh128hMlADvltp.se2sDpeJToAmHnTaqg7fsLZgTtEcDteBznSsxDk95zQ22AnIupD1H9qao39gx4s9l12Lm9H73SgvYueRXeGCbXjdP10gXXx2CD6khm5Ys_b5MSXd.6tQBn.IrpzlZzla9oj95msP5PPLOd2juFkY2xQfI6qKwiHTzv_qXUx80OrzhGoqfGkAIBm9og056iytMohsAkZk84d7YpyEg5Wczt9Up5s6gGVEAawzQMW_CytsmqtSEybnhaWSpdGXMgli3ewY6Ay20vz1UbU2",mdrd: "MOLflWr6lzu6.ZVVxxPNUgqPyjKT46abeCUU8NSb_w4-1744178297-1.2.1.1-iCfx7h6SpyqBz9EPu1dbXr7Y0jPgqG_uSAY0R2XEO5_5qXW3x7cwunAVk_mmaqzhNIKoOrZJE4jC28B4XUm_lHBXAuag6OJQTLuzGo8ByE4N5_0PMNpWqmlKS8Vc666Be6FSB7a2FYqmZwUp2PhZ3jc4MibKuS12V2xibYXyM6Z7Vn08g8t3u3dMBCenp0z73fVdcTqRNzGcpxWVhDl4PTb.oUTgD3MMKF8GttqDol.8c_5Xauwmq932Sie_g84_KhvdPTORwcA0oU8TcRf6fj86.rtbuK6jYhBnO0R93G0P3VBDZ4XaszNks_9oRZiexPaKxiaKmG1p.v8yDpzC0J5REHVs.OOendyV2dx_FsmYVdPSreFvnGZ3ABsteG7seHPo_m1pKr502eEkGOX44xtmKlcnSzVYsSfhro_lrvHnYaH1_K2W7BUuzEPy0HgDyXdFaR_G2XKMRbstUYLHqNupz4CIFacg5Tc3XubyDpUvQEfnmKHlJzzFJy088O1xQA.COVJOVm_7u8q7oecdMCijXCDYi6AE24vMRNJJrd4.2taSwSeHVn3EHR_PL5SoQrrEM.81YBxrGBZeQE4omTYhW.4trtr7Mii7OReSB5FTdkUVJNfmbq3ExzUkopQ_0nT8.32IFaHmpTMR4EEpiiBjSQHkPmP8N.aoRByN5C7S05IqsFQybBGcqitF2bJsKQ9Gci.0eeiJ6NfN0kQW3ti_sH..yaZyor1IuphdYMfyqm1QIAOVB7Mji1kgObnxIgCfw11.hAeDXJA_cfLYv2gkgeOYn0BL8Ri.jbpgVO5oJpaibfV_ydh_iDKQC0RWOhVmDZGkz4_KwCTwJpWWuMzTv9EL2_f_SxObeKRqh9edq3kCJXLI7O7uRClo1JbCyeMjaWKrQp0H1qXiBLlUc7jqcuBix6dqeT2FSUkahI4SX1ry4DbsqRpbyThkUealMCFR9eq9Zk9ANm2ioJNmdHeL13ZsY_I5CYpoBXm5vEzLOH27Mtbio9HJRW5lAZ.AsmML9CwS5XWgZTX2eSziYzw5Z8YX.NqSEzdG9HoK8.id9k.QXyjidMZrJcjUJawwRFLJxrV96slNF3DO5zSM4m6lLHyZ6b_r9JkmjMiqfZh_hx89jaDAO_IlxrdZfITLzSZCoULhKb0crG5KNmbdxIBbdrj2Hc677P3pvm0WUqOncoIykV4XpQmEg4DDGhKjEBXJN5ejK7O4Qn5wNLzjykwLzr04aRjjb.iJmQK3iqUMrjb0NAglHoX0_Of8q02odkmz0DiJphmhpiCcqanM85RyH30yFEJHw1INi6ipw.Y1GO3IfgizFx4eLrur71KUsby9AnTA8AADd2oRrkCZZKeNSPW9T..VvXAOYwEWHCgAExhkJ_OrxXK73DshhYlEqMFrSY.Ivyi688_VqvC9gejMdtkHYla0n448dlXSGCnZ8G12V8v.44RlNU9JwQUWLAvVmm4Umsi3VQedZD.kX9d_lYADfVnDn6uNNzqVwXeeVfZsbcwJ2RiOO.71hc7N28UjU2.nfmxXQXl0rLFAPhL4QO.HSR6pHYDnLEH6Y4ni1tr4seclmXsNMHJIDO7wi481dCeAW3L2FEGGgv4Nv9EZtOJqN3jMZZTW8T3LWOmM.e3fz4QY27Dd8w4arZgSTfv6Wvc5NlvfoAAkzXbmhZ48D1cspkCbpAJ7Jpp93r5PPy9qq2VtzCW6ClhG.tBGxYPuFfFimE4sMQqjkEZNVDQAe65.6jpuorlVt0vZU1dnKI8I7FuB8Ze8HbbRdwFTRVUzUOzqM8zz6sVG2Tn73nAeX.8ufxngYGljem6xQoehos7KlK7QvTMSeWsydFWghNfQGVxfWzpmM7YlB9LcubjTlHlDfKJShuFcwt2YwJsjZNhlNcHN.uwy_QNdHORuCMCEKiUJlhvZX4OAaTdzAiBrU0.u54Wb11y5vLT3SwDV6TjZEFB8LvOuzWy2qG2i_1RWF8_FfBvHqAAtfKGAhBC8PZS7Hu3EiObtseaxR0OfUsgCGX1A.fQIRzCEMs6JSLr4MKEnMF4Uu5KUcQ.s_g"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d7c5964ad8fdbe';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, "\/0339.54009?__cf_chl_rt_tk=Evyo1afxjWi00wlWSDFlCh.WscvHIzwJ.hM2QNF1f_Q-1744178297-1.0.1.1-BmqLz.NdvBtNw5nPfAGlA6EhnAokv.XFxVaMajxeVJc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>