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: '92d41ee27cf95cdc',cH: 'SAhNUUOWM2q6yryVCBvU_uXoxZw_CQtKV65Sb3TIH_A-1744140011-1.2.1.1-yjauXPMDoCATyrPV_moNTNVR8cvuqEkmd1O1UFPQPiXaY01x6o2stxA2gaQic1Yt',cUPMDTk: "\/?q=rf%3A1495919&__cf_chl_tk=OW4H9v2obGGaRHdJQlDa.2V.JM16.cOwtBK0BPzBJMY-1744140011-1.0.1.1-S1il0mCKBP0lca13_xUXAiqKIL1yBrz32NlKkfVixMs",cFPWv: 'g',cITimeS: '1744140011',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A1495919&__cf_chl_f_tk=OW4H9v2obGGaRHdJQlDa.2V.JM16.cOwtBK0BPzBJMY-1744140011-1.0.1.1-S1il0mCKBP0lca13_xUXAiqKIL1yBrz32NlKkfVixMs",md: "hZxLY02nlRtr8FQ0JSs4F7Xm86F2ZAeuHMhKqzuYpLA-1744140011-1.2.1.1-dcsMgdwLX5C3CTziXbRvsxO6vYWlJ84ne0al5KWYfmaq7x_EuLzily_aKdOlUCeCmCrn94.G6D0MH.zEhajz8LqHG080of9eASwV4IQtJkHKaDU3Vk2BZnKR.1SExIMAndqS4S4QVeVmq8U5EYMsZ5DBnMzJmI1qXQ33FnLazB5mYmgRUUBH2equew2kmSXmiCER2VFdDJS3Du6T7fL4nZZ_RoBiGzi4J5d5PGp8wpH4t9lyPdNpJzL4xt87jMN0weymrjR_Gs.mmbbkx038HUA_KqHRsaRULBP1wV4cDHRMR0xzD1XP5t1fqfg01ghjUzOYTjj6M2mjeoNUnB8RL8i48BzfaoW1aGAhrU.KBLiUagCKCU5RmlWJpONW8cwFUcngESzHpWySGDRiO6WNI.gz5HAJdcnDdoqqMosf9i08V0OZcMaTP_74ddCBYzdfEyAtHem0igUl6GLN05RwkJE8a_b4KX0KLYHCwgwZK3QSJ0z.mxFA12bzgPxJ5H4CiwKV9hrl4AdG7GnQmUMLjoLRIpK8TpYYE7V84Wzh90jCwC_0patNpMTnF3EmcJmxxMpaYTrSFPAnfGEvCLv_1MiJ5TytWLLH5egt6tO_73wm4P1T4DLRHd4wprqXi2F.5sWeRSKGLzfEoHRgvxHJIsvKXjnP_CeguIbj98f0R5YO8sFC4Gy.OzdveYQWE3kYY6tT11Rw8c7PprZ7X2ru9o42_i.xjfR.8Av6wjJqTDF9Y5l4XIqq5WeQIZPz3Ugk33hq5SLInc0HptRTMdg8Rf5ba4R9MSWizAPOzuJRIewOCN3KJi_VKGHEwwgE6Q9.oSrEmlruqPJUrmbT32NV8GV4dw4x72Xln1w8HGL8lXKwQ6ptfxzPnjo9kPDvt3MqArUIFRSD0W_DlDijAMmg2vtEKyK5j9IlN9EJHy8DWBHWm6h2hnbEsIPCnHdpCnKM6IzhcBp9QJ_TAv2r5_EMltafEYSx7M0LMLBAPGHKF_yLfQVntMm290WHQ04AvFtxpQIld9KwirCCU99As5CITyQFQgGiBVqj6ybPcwSIRLGSLe.M8R9_c_IzpuLlE7h2CiJXjGV.IDhCT0Pws8IqaWz1qb_BcGINp4tNwcM776Nfawe4wr3FfMZll04drDfctrZ1vGwdU_TNrzk_QCUAl42GCc6gJDN6N61jWOVgUh.qmA0QNbs.TLUrzRe4C7jk",mdrd: "vbD5_T1dVFRFzsxmib6P982i6AmRJUH_ec5eDA6cCjA-1744140011-1.2.1.1-87jqPNUI1M.5ZVRa7u9cvCIet1Hwgxtx2LnbIQzhuK6MlUQn1myw9yfQZhFk_FIm3_A1UKcfhjJiN4fPv_y87s811xlwood27KH47KrJrExke3L4cYUL8_vkldZ1DJtiEwqRGQJqtkVieqJwMeCN2edChRHEmRyvkTMg1La..LKQ4R5X2svVOA.lxFUjwcEq3fa3RfEors2sUmxxkQq9AW5tP4wMNVY2W.kfzNir3ZqJ_H6zBx_rw8XmRtrlPG4MEVPLOEL0nIMLhm7_0k0_74bFal.6Nw.lv_2UQIh25ZAu8ZC0END_PwL5xDsl60yH_plGcIl385u9_qb8Hlx1G9C1XOOs2DketygV9tuJ_Wht9UFznip.0cDjVOM.7aOgo66ntCehtQslZL47D0x2e0GmhmNWxKMKiZgKJrvm2B8fET1f0Gr3XwJKmRcrG4H.wsH0iZyEG0aglWS4ydxtO707qJEJLxb_wm1ewy13aDC22o29GlsVqY5.yQkc6kB2oiC36V7gSj_6XjbBk9OP5rdNeHC0X5vS3vgYKP4wt088GeM4rYdV_aI2RDADfBa3JE7uqqAWqvecdm3j9r4QxgZRyi14QafBRe4J_fWb8lZi_ZVu0NDKb0CYm9rIbI2FPJfaMH1_peYl4Fhhl8lBqthWq829BNve.nrv8oS5bwacPZkwZdgmRjACXUDtGoSQOT30zgJ_3PUv4YvWmex7ObYrRAVOrgMjGYi31kI5Hd3GlYGSvckXZ5paRW8qXh0R1alC_uFnWlQUOcdZUZklxQr6gImZ7YoOOSx52Vw3oGsMY2U_SaOfYec6ofujIF5FW5GoPSSFDeTqon_z20R4Y0APVSAqcrGtl46wkLhozHFUBi5Zrrw4pLwPOTuZVD5YI7dajShfbefrPfHBriiqmsidKQrjcvfCIVWWyg8HL.lNoiw7kuXKr0.3S8W1dtDrP286_J6KEanCusDA6ZlAci6M3HgI.VY5KMHsvHeJgjHrPd9RkjDx0vRZM2DrQerxHCYTkAKD5j.U77ImuyTAziRRmzCgOLzzJFBHpJ9MPuM7z5Zk8XgwOx54pJrMEaJpHS7fuXMbIj0p1A5PYaUGkPMc3aCuZ4Pe8GW5bqXgMrM9aL8luuKAr7Ldy43R8SyAMHZHki3TCS9Yn0VsDqranmSGI3e_6d_70HnYubIN1ofU36qmGurzcfe6tCPRWCwv3kxmaaX9i2s1AZqE2qERLsKqVOvZfrvS_oFS5D._yBkdQNcL_NKaYHcUtNNkWnrqGrmLPGz8kca7oiewwBhvVjhCmnh5Rq91jRsfwc_.bdvOjV_.tpIHg7sST0wQprxvawreDonb_wgSQvQeiK5SjG8J.4oQTHAkpDtscHQrqlASvF8LGoaNwwceKWgzjBRFyf3X_2L4.e7wvoTNA6MSroGeijLnTrTaCS2s2VQw_RNryw1leW45YRAr_UjROKK5RB_bIRqMjkHAO4iQCgo8RK7N2Psn4kFQ5k_9UxOy0XblW8U5mMYg11dgXvmJ3prb4rMw98Q2lLT86.aXul.Ch7js0BDdnZrENqAhH3qQ5A3wYKj7RpIyi2K4JT334GRjzF8N9vdD0J5JLfYHLDd.m0I9ZDUjGgMqC2dUetVSjnyxfyK.q.lEf5PN09PK1d_Kcb.q.txHmZsXtB5DNJbgrNmeH3.RxaWaOOowyiMeZmS6LPwvWo.8lGXICeG1QSFRmb8CPAZqVjV5U2K8tzUYKsbeSo.U0G47E4bioCb9zb12MSZ.NUxISQJb3VV10JXYEOBc7NweVQ3K7l84F6v1LKhtID4J07.ezkT7f3fGroBsP_.YN6gWJe1xvrse30s02QfX7vLnnIxE1vpmcA4b5s3hjhvb2KpybueCHpIcQl2wPTEg8LXDytp57tQek1kgTllKtF11_ZxpkItt6kf2nfwpxeX_lngk66pO35GkD_PIe5.bfuNuh3p9aDw34Av.G2qKxq_7T16cwwma_aTr27kUzPNImZtdD_HULZLLcgF0mc01L1HPky6nQSCtG.59"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d41ee27cf95cdc';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%3A1495919&__cf_chl_rt_tk=OW4H9v2obGGaRHdJQlDa.2V.JM16.cOwtBK0BPzBJMY-1744140011-1.0.1.1-S1il0mCKBP0lca13_xUXAiqKIL1yBrz32NlKkfVixMs" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>