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: '92ec020ca97c9d2c',cH: '16UKoSpOEfjbjIn_PZZI0S38alwEiR1JndYPWUeEKEo-1744390489-1.2.1.1-ShrXyWvicT4op_k_a9u20ZnqBxi5HenviGnbQYk0XHpb7TRRK1Y6FdsL20TjbUGT',cUPMDTk: "\/?q=rf%3A6118305&__cf_chl_tk=rdNHk8e9KumLv2e2oNaPzsiR6wjGE.hTytSEDrs_iHo-1744390489-1.0.1.1-GoSyNieVbarrvz3SQkuPCGVl1zTM_uJs.k_VyVzG_xk",cFPWv: 'b',cITimeS: '1744390489',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A6118305&__cf_chl_f_tk=rdNHk8e9KumLv2e2oNaPzsiR6wjGE.hTytSEDrs_iHo-1744390489-1.0.1.1-GoSyNieVbarrvz3SQkuPCGVl1zTM_uJs.k_VyVzG_xk",md: "m23E0cGTyS.v3Ucr6rMoQWAioFEd3yKqbhOzwHzxzBM-1744390489-1.2.1.1-ug7t6DKwxrYAw5GqXuTUnaiUmdl6Rmmmb2NlleQ2qX9yT3MI3SR5oJorAdQbba84YEEfcyQ2_tyMmTBP9JsaLN3lvlLp31h6Ickrcq5SoSr5FcA9Yer20OaKN6ABn6QMXN.0aLMLl5kfDjf8KztckL1RkUAPyfNbwBsatGnPlaTqwn.5xbr504OJ03vH9PSGxjGRiwen_kkSrAwhbnilmopyjyqj9Sj_4KNyoT8kkoj5l7NkkKUvJtR3BViU4jJ5n6AehzRCwN5rleNuIT6uHIXoyeOOLs0u4TJtnL2S4_5QQ28MpP4sO3XOne5QiKNxn3K..lFFoQVN0FUsCtb57pILXmzgboNhhjxR4AT1WjY4Fl9OUq_bttyYq_lq0knbKuZ58jSu.J2P9AuVurto94bGedRR52LeBgsjLPASGgAYiRcfFJKDWKz69.WO6txrGhvcGZ7miQ29omxGwe6pt2ONXV3rCmWDRel8xIH1OVTjwss5jjXIsCUjmYNkgAtmNUzafsHmljbNPhG9YmopPz6g_CRwv9ThW40S52DKS5vwid3HCY19vkoxhHTaG8qmIvUYg8FwFIhe1.jXX2YL4VJxfGhaRXLF40.kT.CaOkgJNhOnBultREj6edF9a4Yc8lrHuZFP5dLn7zlSU3LjcLfcAJfUqlqOSaBusHs5DFOLIT20PhCcVhUpU4o9wtWM2oR_9uUOk78tXfeFj6.Vp8qjMT8SXD3YuAtvoGc2j8oSuUQz2GL4qaqRn2U1LJqy9tPLdKN_WMbpKTNXp1_2woVUHmwPRXU2EHfVGsyr33jJ3rouSodbI86Guo9Bndfhk.vO41WN4l4Oa4I4TBc1juMq23n79SKZTcMaM_m6htbJghdru5thrXQEf5RBGTLt3JP.FscXG6CzWMgHyKrm2KxLhmLLp6gKREeE9nlLTeIpxg8X5UWX73wxcuvxkMyi7kerwU.7FxsT30wkwLOUT8xlXKyuiotcYbpfBTtxYYtg0cuedwfa5dSa6dEvcbBsyNaL.uHAROhMAxieJVJrgNxApObTZtYP7knaYw31mTL9OlVW31tROi4yMpYAhXmFzYcNEfZQvt5PdUSsWy_3zUybAp8ae2BaK0Zi0dbYZtat9TsOYbBhRCdnX5ElwcbSmxjtDyVWvK1bwEO19OAWENoMV1S0HwOnsSmhfN0nm1Npq24dczyTVc00K3ZhJlPB",mdrd: "Zwuo277yyYLVfIy.8uhC9RdPKuxa75NeQHikUabT4Wk-1744390489-1.2.1.1-d9sYSwm5cjtAIF8Y4llp89OwJGtY871JeNHtsPIT5A3rSXJCFoc5H5OgZag4TXxQodk4stQkuszyYJgk6teEHbpsWzOhDQbVm2L6RdR2Pb25CQGnxQFWs5cKbdkcSeY_Fk_bAeaZhbee80ZiLC5X8_nUHpDVhqpuoGI7keEGBZgX3zGYMZz4tv0kJiwhbZxjlRX6YNmVFcerjA0YbMASFui7o0nvCZ99rxVYwQbAkGBe07X3ErQA6aieM14hn7GkBk.7QN45obGy_yKpj4dZM0quL0Co1UzEdy453x9KFyELRJPDnBL7lL7a9BS_FSW.CWYLoskY50xsZyQtFDUqblCMo1qegBKiTndVEkzzSmCaH3Fjh6E8JtFH_0szlG91.8kTLCdse9jCbxz1dlgR16qQYOsnc6zX79IhnuBmpS90DPyu1n3J_lLzM_ZiMbq26iBaLfV2m2N1B_R11lhizcGwdKXtvxC3rc_VYu1C0MiRErv22yr2P358gu9HR8O7ua3e5Vj7o5eVVQRQFwJl5n3RIU8HN2.rFO9Rk6y9BZ4OQGHryasXqzPuW0B.GwxzMS1AB8MUhh9PvTkAiMceniKvXuc7auT.RwDVliVK8XrS_xWSc_7FcxsL5Ru3wCivC9IwD7l0tjtPBIzZVwB6iS4dFkGqVXbyNQa_Lzh_P.Ln_VbTP3mqmDnSYHgtuEYEf6cti48IsjjRhgat_9de2MKV1xUuPJqjA4kNGZ1H275zKhFwndauhSA7SMXUynBnDD3dcWxnlj65PhLaoAiK.umuJah_FreL_5qNUyMCo4TYMfIqGHLjmOSrKQu6I3YS81JedZJ.N9hsN_De.zIOuP23qsVJxkQieSol49ASKQmW7Fh37uGHKq35kZGNOH6ES9OQa4Zr_F6duuORwLZ0oJioxiKaEZJXPCJCbuLVD1NBHhY7EHfRmzGHhN5sqpKdjN5AaPLdUQa79OOYAH6QCCEPSj8YUtWl9rJ4u6kqAjU6NO.4NbUwR9pN3IovB..0WLMuVj3dYLyS3_WMS.5xvdJASE.jsNk1wtOAKZTMjR0fh6NR1G5KL1YGZGjw9lNNfxQvSJmSGb5HRGUEco9F.D3EjPO9VZv4DtdinN8BiMwZtP_HFSwXHjgW1rhxTbRzED8BV0jzT2QkFdHY47it1DNYG11AuEGU_.IAHEQUjvGR1L9EO76EdGZFsERH6YWN1FGKXgcaZrIaAAg55ox0IM0UoewlFREU0w2qDHl_EaHKd.w4obcRsaYwdAQMkdCurmrZn4sTl5PVqX3_gnJabzDa3Ifg9aE_8mMWvct.mlxSrnAtCDPHYoG_drhruzLsCx1yLUzdonml.Kglo3DG3O9czVW_qIhY_3kCZxWdl7GcbfkPSuYuTXPkFVoSF.WVJBXT6romugG7mQz2eODuCa2L1n9RaKUb.i.hD6w.idZuDQxhas2xSnoDWfPZQwtigmKPfzF6Xp6jXEBryGD7Gjfa3fjAUQcnE_HNTFXRhBn4Gbo1nQaBJo9t8xWk8DlZTBRsiBdolp52Lm3S531bYTd_PxGIAuDhs.tStoTaj90zoviF_1R5zIa.lCU4hrBu6mm8F0HFCZWCVA0pg49MWEKHppaaVU5QzDQCtHPBDKVdIm6pTI3zCKurubkCvZDpArHf_zyPBJ8i7ePqYfwUWmAetbXPxbWUxjNAAaaufd6oQ.lh9WpTDClpnuHuNDtfkaIcgQi48Mo8fnkrBxMy1gGng3l07bkeigULyNh13FPsH8Q7j_G0t4uNKqBHi0jMhR2hEYYVBaDchbIq0I_qSPCOW4tH_e236qLc4LYm2BhqDHKx9RdHjZXTKKdcBS3r9R60PHjRBge6Tlihas_GeL2TagFlYAJm9f1VAVxWASp1M7xGwLtuXmZIyfmQxr.3PJKX8RtjiIy6522K.PUqgA5BYL92UPTeQrtzF.n59wcQyU0BlJQJSDK_aGpn2PK5x.F78AlDSwyZ_BdlDDP4dlI_.dfmViwM18n57jqJ3Te4mNGy6.Njs6mzeZSSsns5"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ec020ca97c9d2c';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=rf%3A6118305&__cf_chl_rt_tk=rdNHk8e9KumLv2e2oNaPzsiR6wjGE.hTytSEDrs_iHo-1744390489-1.0.1.1-GoSyNieVbarrvz3SQkuPCGVl1zTM_uJs.k_VyVzG_xk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>