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: '92db0abcef89fdcf',cH: 'h5FgSCk3ko.bF.7ywqypBJsVLyoRxC1eFnNT1PO8SUk-1744212587-1.2.1.1-boajsFlv91ZqB272DXjlsyd_NjxwuxP84Y9aQFoxjN9yKWS7TkyYP6GaERyi2cop',cUPMDTk: "\/?q=in%3A294400&__cf_chl_tk=NJzt4d7857pGL0NMOXrWdnWr1Pc0j9JLtBHA3fN2JSo-1744212587-1.0.1.1-ckOj5YhtccARfiN8rESjJXGMRv8YMAh4RJc1kK6RaO0",cFPWv: 'g',cITimeS: '1744212587',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=in%3A294400&__cf_chl_f_tk=NJzt4d7857pGL0NMOXrWdnWr1Pc0j9JLtBHA3fN2JSo-1744212587-1.0.1.1-ckOj5YhtccARfiN8rESjJXGMRv8YMAh4RJc1kK6RaO0",md: "y2VLudogGjCCwoQuVoI22MdfbqTbVk2ODEgfOPUUPrE-1744212587-1.2.1.1-LUrzUWsYfmupP0xHp_uo6bMzKxrXKIE2G7bPocoHaYMKlytRd1.ATWnc3UhC0yB0t4GBjm7woIFktTgzfuozVS1rVx1uFYvS8LrBmhMQR4TLRBx_9jX2in5TssffasS6NeZzhYSEO9VgqVXT65GcKRcU5tKmEv91S5vtCE.OhY6cofkoc2YnlfeWx.5nlN4MeqXN6KJLnLKaGQGcAHgN41sRtHRK47WkN5W5yFamPDgxoDWMtOUpYwnzmgwBTt9lz2HNIaH7J1Zexh4A9xXXxnzt.3VHpRqAj5yCJHspfN4rhWBTB.GBN0EUyhy_MhEbUDMkNFipKSYySZ4CtS7Dbq7BQJDC_6vv5NQDIO3Th2qlCcmOQbD30cS8dbcCgyx5gMvKesVYXzgEdLJnZfcQxqNbF2mpeKtnVteRIiAzDaf3MlYUUgK1rajN2lJu2CUq4yQ1zUd5SrEa.UmFI7AuNx8wJwawkp7RPPv.BNCQxTWshiefte_FHVxAE3VRPDENBQZylTd6KHnxFbNYLRu9bFZx6e8a6AP4Mp98ERkizjRF8ChRCJReOKeFkAUkRIVEMar_72PhUcc39nD7gh0oLsoFLPr8C85jTRLOCse7qbJhyNSUAYQSGdVEhghgMebuL0z_EnEEsSPhyaipLjFH7d5vJHhuP0U4ie1iYfLHm.Y0mGOlT7EPZTROzCpUgi9qglAhA7cIgG7UnISS6cOhhuHxTJzfzzrqfP4ndN1H6lusVyKPs19NSPXjMl_AaU.bcI79zEYYvQP7syjUtwDG0OF7W9FHQ2dlqr4MoSYEqo_7j.mF57oH6NeuN2tjkoedB2Y02Tt_Laiogeiq21Du6h9n1MDFwcmc5lILCsUr0A_QspmJFYuoWSs8fyxIqMUfAz_6UIaMHrO4ZqU4HXho7cB9EwsV82wLglyY0V4fnCy7Th4iZtnrPdd6ZC8obKMRQSiZd7Tt8AuQQP4PsdjLXPwgijC1ZjAvxK28M_z71.oN3Gck7tQs7mL4nberAUxDF2V4qpo6mG8GcKuTJ.hTFQhBue9br9z9vj7xOI.YWjYt0uHNEhsCS2yOTjTcpSaAbUcD2q4kjR6gnJC0Qnx1TrHvYqtb176leCwGN_mAKY39EElPGmo8H6lRChSTf32zjnvzjmqmAu.YH9DRlqhgKhhXxqMhlpRjDUyc.t_zuYEsy_iE2rxUNXDhE10gRZTG",mdrd: "cg2xIZGdmtncDj3lJHyV2k3IYUZ7f0GVx5V50Z2dCvk-1744212587-1.2.1.1-gjClnPcHap5eXqoHAEX2JzagDUryZdKJzHgdEHG.p37n8Ag2CAljNxPtN8LkcBgzXWT5zywU3KVQ4rnA4u4N5vcqdltT2j.9SmTJZI6ttUQOdeMNs0t.qCiWdvcCJ7Gq0Wsyrf0aUkATJSlqYQwuV9Jac1CZqwz6bKtEwYEB6No6kDcu8AChV2gqQDMRXeJYf8zYUpoByVhFT2tLQgUf3sfETFoYbcOXRsuzMAy_r_Bqp3VZqeA83Um7LzYuSANLbb6KjOOqWT0KGIF3yQDGcAoF7n3eE8Ff8_zA_kYxvxTio069urtBKuefzaIbnsM_h7u2_gV6K6SlH0pLnKrTx36erjSpVlQIXsvKoJXeu0dT.RQzf_Qe5.bVBWTlevbHb9Y.MSVYfARGeibVC453XQPzHzoFz.ZljUIKyF0rHxFb1EmWL2mXY8LP_9YBI0cJWHslXXUXtL3JZALxvab6_M8qUOnsGyURdpRhzLUm5hUg25ZRkSNUys.WD2cA44_3XphThYbPXMJvv6fBHGf9aY1JisSUP96Uco8L3Q1UwGmKUKAsS1HfFaCHiOfJKPSt96uxE37j7Tzsgf7flnoh0yV3HtsMA394YDAwC9C8dmEUC9ioZcu3OJgLtCeBmwnhgF27fhmx_RGH00S6phfikwVo4bS88xvCug04qutJkGEUgZGD7hVvap0tbJJKq35lZsWC4hQTzrghycmhns.9p8N3RitnfI4qU96wZV1pwzAKLp.xK5rFL_5JMQuTQiTlQsNOAIFRE7KhpEu1Y8e.lUHWcX06xZNNTH82GYVihbq4Hah_NeXT8SOcbTcoYA8hP6eaCdZFTXjLB_Uoo46W.K0q0wCx6whoxysBVs1dyXDEOKMs.yzzN_9ztsjc11qJb3Ww1Ck4S79Ose8jL.JAGCaUsipkns4eakud4q89RAHO2oCVWfvZJzmlsB.Kj08cxBRJ1SqlYeRsBBNo52hmsh1t_qXVoYZkihwV4z.sRatA3fekY3WKVx228TYDMlJkblAHYEEMrJBvRfy.jCHb6LTn7dCvGzCOL7Z9VW9jKDEJTOVbFW.XTcVxzddYqnIUFkwKJqOC_BPZhiMKu.5v58udH5st.pwjYSV4G_WMhV74eFHS6C4EPN5_LJbhGA94FrH5qZ2NlkL.z6AsLxM7FkvSZdX74rPFV4ZvGWwB8AW0oHY2JSqvZQgVCvxtuAqd21cNxqSa9Df4m33gsTto7bk4.HUMxvFdeqZvDLy8aJc.pHWOrcgkg8.QdialE56D9WPKvOS0VwSvLnTTI.M1w76O_kuVHB5EKgN2aHwGjmXGFKw.niu37ISnymwX3NOiq.H.0hUrCIlc_lam4iyaNPyEMoXGVFRVI5V01UdOkYM2Lw_lHssFkzJsZ340zZJ7z9ZSHpieaGRUry_DcKVYfn4qcKB8biEX_ehAlubdc2hxhSD7aOHfARNQfYzFlkkCTC5lBP4HDkuXNw7f__ur2sOWCCCIwptmDXt7WHHISC.ClYNu_vqJROp71qbCkDfFuDvOmuTHdxxGyoF2Ezf36vgyl07ahE7DZYFhBtf2fkozwqMtqwhkPv.oQgHHiw6x8bSLavmWm3HwK1SRUACxuB.9Ve1on6fbZZn4XaWQWXcnkZwMyGta_KoKca1V7FKtiFa6e3pcBr2WyhbxZBS7sIOFoZTI0PavgcnuJu8LP5Hlowj4N868jqs3LuvS2sIb4.1siyWZY1qZxusB4MdtpAVuJWYQQBpHkDg_fK2W8pRdJotWcl1CaLok9Q0c81Zcj4j8F3e8vDEbA6Tzgf6qyRnu9l4HOVhug9HJFjj9dtXRvAezJLhDduCSBO5rU3f7uSWZHdm66y.B8TdYiauNh77rbzEsp7LcMIRuqm1_sCtRDWDdyJQ.fqF7LdFQXT9j_UCKcApBZ8l0IuHmTNt2KwM43GmL1StUbjTIWueNYd_HuUIEhWTp8MbK0v4Z.xqFXxwtMBPxA3G_xFgX2IcRVI37pRIcBh_2FUv9QZALs9KdCwTelxT1Hd7LHQV7pebQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92db0abcef89fdcf';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, "\/?q=in%3A294400&__cf_chl_rt_tk=NJzt4d7857pGL0NMOXrWdnWr1Pc0j9JLtBHA3fN2JSo-1744212587-1.0.1.1-ckOj5YhtccARfiN8rESjJXGMRv8YMAh4RJc1kK6RaO0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>