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: '92e9201c7d043e1d',cH: 'UQGFHImxgCmSrLYb0cCCNbCXkAj3StPc8ClfC8i1JBA-1744360263-1.2.1.1-nICj.kPlxXlCRagqiPLS71sZisGydTtDSILwznCNAqnX7Np0cokNv0yj66gnlNy9',cUPMDTk: "\/1083.93047?__cf_chl_tk=p8kigcy6si2XyQNLsfQO5b3jRct_34GvIdc4_5mimaM-1744360263-1.0.1.1-MijlEBJLWfVG20u2cj3oBHLzajFD798Ta8DS.q1huEA",cFPWv: 'b',cITimeS: '1744360263',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1083.93047?__cf_chl_f_tk=p8kigcy6si2XyQNLsfQO5b3jRct_34GvIdc4_5mimaM-1744360263-1.0.1.1-MijlEBJLWfVG20u2cj3oBHLzajFD798Ta8DS.q1huEA",md: "7D1H8AIQwmpL5nLNSJtvsiRVOK.KmTvvrqbg8GWn.UM-1744360263-1.2.1.1-877DPKTLWrPUbrqz6iI1BpaWocjuuTv4u83mbaEKY9th7u3yhwh9s.ppJQ5RcoRLagWHif0Q2pEchxif8cW.OoxtgQ.z1kIj9bRb5vau.x9W3BWc5PZUEIAEz4A5Wb4cDGkZNp1a9UQf6nxWQoHskpv_1wQn7uA5pIfNJiEedVy3wT.K_.i.2ea8ePJj4rB5.dWe_dVuqUmYbzD0dbfShFePAIMz1t99eeAoF0KgDLAYN.To0ysRnXYQZ0jzYhe2swdNnH8LvafkBeIL6tE6WZFBaN_AYnyZ7ibWH.EbzxsboiE7Miz4BaWk0Jxdk246cmHMe80YCNYSUf3JZdBG8veqFncqjhwjg8MqTUY6S0JBKS.hWod2TvS2el5tsGyGayfnpl96wo2wPciFZQzvrEtgmpQ9Yl0VpLFoazUZ9yYONpjQUMj5AMtSugRM7gLXM9sG_KQQ5Q7EaacRS0.2VYeSy8RFfF.R5miA7B40q6kAeS4JriZv4iB9LyNaZMJGUNRe2NeQdTd7PsLEbeRs6V3hiWuy6W4Z45YxGNc5a18m0tEzUwq32ZwJusLg6PhTTknMJeHPsNJHXXUk73L8gFHbximxSNKEPDY3XFgL89TJcNhAMqSGlXYOB6sXtXK3vTiDHWWvFlKhvBc7UPQckkk4xmBcoRuDj7oziha2ep05Fm99ZduOnR8YzA7OAgjaGHuHR7RnuGAfaiXfBIBgBnSb2prYeaU9m5i_.kTkg0SRDHEauXaq.FB5Y.eqwbOJbMoR1YWhcZDQBYBFfTEYqd3KNXldbMnV4J.Q.nEpmxEfCYLv2F23rUiFpdOcrbissO8gnb1en2Tl3Cpo9hsGvRiWfEh4aTrknZ2tMPTlTSi571TaW3Pf4XayG15kWN5uK.BOGPBCwsiSFb3XQ3Ts4vjvDmeApFrHUh3jXk3viN7CCk36qq6BpMRxu8W_GVNfADpHFXTb5d9ujm_SEO.AeOpMQhQwdTAR.9GA7.7KRGooLYFAdrzbEFaA93Zx_.4GmE3lkDET9_yYb2dGcRrgXrsvILOmmTu0jC1SGnFh.VZmzMln_hcrZ0dM5JMNM26GqiQYq0h6Rmpao9sjlJQ0ix9lIBt075_kXVLte_ELdolRTglB.Aw2JiX1QnTqajOi6a122TWatVeky6eD8p3bmHPajUKGSs70..PWhV3Au6Y0QSXNK6zyE0IgG2ieTU6q",mdrd: "WtO3iZjwmbh6eLtetxEnGUcb1rb5fJcZDhIXHMBslFw-1744360263-1.2.1.1-2nb50hV17RM1.KYaX41.1O3..jxF.IrgyvWWSuwSulBEIBRIVngfeagwUM5ny.jRzI_.kAryaRxnxVV7xNuYh9ZiToLFkjOTUnAJ6JPQI8vaVM54OTHQR1Q6PfLNWVcM2Q2Vdf50iTwJ_VGVfnBonNXaOf_5TKhJg5MYBeDLfPMyawOMshFRpAyRF1PS.nwdJSYVkbz1JAWkbOQqIUPiaLgDBXzpBz1oqiPQx3J0bkE1IVGmlp9Frr7MD5oRvTMFwLfHNYQCTPltGZwmt18IZg7NkQVR_iQRac_SyIU8nD6fop4b3u0wZ9v8UAQsG.VTr0EvjCxedAN9i8SvaGSccBP4AtahgIM3OTQUheuIvQB2div_32CxAaBo2.2qH6S6eHo8v.2i3Timpx5XDLOavCOxC1qhiMrNZP208pgwIMUOCfoWCF0yG7J6PMFw3IoqY5Nf.A5PpFHxpGU50jcS9AkAoHBOK.MurdJXRxdfgiwJ7UPymM3GQza4YiNAzp9q1o14gEVB2yUd_o5rqj5g2UDprp79SRgVBiqqAjg2WKxVAXS4qZ2NaLEVNt8m5gMpCkVbqAZHWJUnX4DYu7AYl1fxsrdQZN4ECmBNs.7_WtZXQKIi4WxKSFwDXNeP2pMjqeHGB7J840T16k99BP3w.dX5FVrbhb71keyBNzQf1_StKVWrHpbjeI80eDaXiw5idsWubygyr0CUUMBpdphFfXsGqUD94uy2si8cqkSQLLkqkH__p2wJ3MgWiEokJZlhhK.oSwo3y1naVkn5LOCogWSWjuXgQA5QzERAsKFQj_FBHd5bcze.qKOr4BVoogMR1NC0kbvaluDuZ2jr9BD.Bm4xRr8wKag8vE1jTovVoUhRKQ.Ekt5LgIR1IAlAwprf4u_1Uuo.7SbK4n1eniwhly6R1058nsNJQ9m2b1zRb5HrBjKhd.EkjgcjZLLShdrCEc_APoQXiCQcjDuK3WGqnU7NVDuFzIXzL2nnhPIfYCX7RT8M_LX83y2HcTPYZPEC_o9wogElNpLlz0OHMa_7UXV5V8eoGom0GivPVrPB5y5Q2cQdkSb_WOXD3BGDcN6jG.KVwEhcaDHW_rQ40y1qdFUE_amqw8kd06TGgZuxbyXTUK67IVp6s6AV2G1SUmI77a51wXhlnuQp9JfMN4dRtKulR.rxrdA.hAet3iy2SPFfrk2dh2._NpMebdrGs.TfUdMEKwIN2atJs3WPtbIudwvwJ0kQrhEqEK69a5oFBYoo6J3GTF.e9BN7aUniF0yaoOWd95LdeOesyrsYxTJZDkQiN0bgkqXDUAK9yEld0ZtKpbl4ZIZO6iWXckfJ.6AEaPK6wRVHF18RHoPlVlndDFHEzxbOsaeNXbqdP54EU1LCxvgRbfo0gixgjGBaJpb2aQEFb9Eqdz0mD2KwxdTpmzwcd.Oym9PrQHvp5HPEpRCftmALcXolDx_FD7znZOBCBgSO_gk1YCHXR_btL8K0kyAJZbniJg3L6R_E66dD1eDx7rkUpsYIxR6v7J9fgxZ42J7m.owiV.KOKBlwWPtbkOAcx5s_4IQDKhUfsNzVW9_gcJUFWPlXtS1WaDFytfX2YG5A_MrTf0DANsGekjr79qKnaunWs1aZAphlNwmMV5HjdD_Jr4Iy9Vb36PJklGKnVub1YiqjiYU3AAMQ9ao6yrmuHRY.XYnM1uj6J9fncL5en.EpywJhwFpDC_V37trj1bs8e6ppSnwu4UAlWObmSS7FHVWxHkgN.t5J4Y7cxL.QQ1HEyQYPt_CivAs.IRmQs2jdBETtx2TNTlk._3TDK_.k.8mRRauegPtogU0GlwITRz1zIgPsgga3Zld7Ed..3wWhC0FIeY651XG1JXuy4r11A0ajARqFuKWzEKT8fTF9ZSGv73yW.wgHon3N1MYx58kDEcTSCZhYpsbCHhnolVwUnG936GYumSsjxZIvDm9Mq8YJPcr3TOOnSI63_4kcMvDTS29NnBUCS2STglBJmzfmy.9cEKlAadVxiBSwUdkfPpr2nISSdTQkHn_eJ_J2"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e9201c7d043e1d';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, "\/1083.93047?__cf_chl_rt_tk=p8kigcy6si2XyQNLsfQO5b3jRct_34GvIdc4_5mimaM-1744360263-1.0.1.1-MijlEBJLWfVG20u2cj3oBHLzajFD798Ta8DS.q1huEA" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>