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: '92d52ea1090b81fb',cH: 'uP7iWhhIW2s9GMUsc6BasyWFlIqh7VzjinbRSkHpXT4-1744151142-1.2.1.1-nANgZYPP8ff_KlH8VgdEArWvZR8PH4TYQg_Bv.2w3qfPdCgN8.rmDxEg9aWCzgee',cUPMDTk: "\/0820.35063?__cf_chl_tk=Zx4zmAifVjcSc0JLtzAs6lLrBVzQHTrer6l3kRXbNrs-1744151142-1.0.1.1-5xu8iSeD4xR95D2.n3uvKl8bh6K2NNE_CLn0n2NXaF4",cFPWv: 'g',cITimeS: '1744151142',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0820.35063?__cf_chl_f_tk=Zx4zmAifVjcSc0JLtzAs6lLrBVzQHTrer6l3kRXbNrs-1744151142-1.0.1.1-5xu8iSeD4xR95D2.n3uvKl8bh6K2NNE_CLn0n2NXaF4",md: "FxiEx9qMv_BJ0BsRygGvEYZAaIIuhl3rEXhKkTw3o0U-1744151142-1.2.1.1-8bGKT7Y8zwRJ6Ch7kj5KZAdnysN56GZNk4elWoBSH2eKrRQbm3JOm6MZVRn0TChfEEit4yZpmqlYaTs9eyl4lT9pdgV5qyEMlYJ.Eeafz_bKOlWIAv.fXIVKZD8IbBF.i6N6NkD1._y1bHhhKTbxqI2bHB8qX9govTplCgJ2dLdOwUF.Q2KaO.h6b7YsDK_MUeaOeHxLQTo50uFG3PIWURi7bikyBB_gyfMVQP15.P3mghzmF52ATZBH9oRrmMjOoIQGicnQhWPEagKd5Fj8otKP9ebM74QtQGQrYqJ6QeewHBsLMHyWoxekNftC_WSBT0U3GBLYFe7V.e6G_3wTcmwZN.LasqGWytIXZJRJLdpnCe6u.NO410nGclTHfb0ac4g7StwGgv1ttLKw_g6JQAfr0nIoGkcb7vd4LpO5Q5jJFCtUVgEXP3FxudswhHjhZ.ld4EbgJsO45uwlqzW10CH3HUuDetmz.NQnX.lzni9QIcwDpl9RZFlqFwNRninpWJnpqjpFwoER81PYsEpmD2pvSNzuLGnbHoaKbeDGT0rll_AwcEss_aEPPdOy9_aoe7vHSTS_3iJJGnSY2GsiXS8jZR5UjEs_1O2gzUbc4f4XciiOV9wTG.CjwH0tdK2TmMc2sY230o6n_6JBCjIYLkr4Fb5PLCFwoH5OEvu9TudAxLbScfupr7VU7Mzz5gm34Lf7rbZpReSwJVERpAw_M1q1zByxJMXm0kXmcvSqhukaxA4ohJux5aBx21TPSDldHVec.Q84ZC8n0LFIIn3J9R19EO.SkVRgkEHPz21pFXcKKN_VLaYPwjEDI2NLY80Kvg8n_r7xQahDq4bZurrZwl7VZyESC5RAOPBR1qC0WZ_EhPDmajI8QWEV08yvkBnUBwtlyhfSmB0jfOqJdX5psWoOoTeyM5UDDvVJOOy5Mmoht_V_iktYzlRoneG3992i.8HwC7u2vxEwHAckTGrOsGf2gQU1TpTO2h.ebcbq6zxnyiv4RE9cU_mL5nB0wYc4kBOm48u1Xu7ddmLtonUqfK5jpMtOG7NXfi9ocwgRasAOMwKNdprHD9iaIRf6TkuLAHj65FDbzxYu_88tUD.vUluLQ8fhEgdZlfOnJSbBTxHjzW6PZu3TqIBlnzVhsaTdDVVB3LzDkJ0W7V1sIW3.XSVzZwzBZPz4LJHU5XsLbPzwtvV0_9cEJVz0QHTRPWs_",mdrd: "vTbVticpbLK3nEEBa0pEIJzClnG_5yVlk1qW8hdUuQQ-1744151142-1.2.1.1-q09HVJuXix844LGm09NYE8tvq6Stn6WXNfsDHZ73pfWYsPPOuy0tPThWISR7ObfACIVCSzCscV_HvqyPbavUkNHXJxYRIJg4MGuAi9ZgBz6y3pTXM2imO7VjE1.Y1BGLOCq3JpS0X9SHShpWNbkkFtdf.nYWm5YavBB0eW925LFVpCmMzLicRu7SxV4AUlxMI77VhbKmI2F7NS5r6ZIWxRxD.a_pagCjL2i179KCS_Yw24H65SZ8OE_IK2_SE2W55s.HmNb.iD25v1cveYwBWZa.oekMwYLgZ6sN2Wxrp7EC2TG8TtkshA7B5YA4SNM5S3lU_75pin0_2UXBXGpyuTQmBkTnq95D.DkRzqGRYhEjUcHYVigY.tzIDXi76Mbs9PPfARsf6HIbCs.4.3HWV_rbEXHJlxVO4qv3HS0WeSiP9sJScJbtdv9vjkMEDLYVqgt7k.YPpOdH_I5Pj_4pK.mV12vl1QBE6GpfFOnNPVElsR4N6.gFtKpl96o8TLm5MQXSq3CKhqhrz7r5xeWPVuvbeSgXXqsdu3TURZH67HsKzYJyLIoYr3mJBrl5xoCnOznm5ouWgh0OKifJKIws3zxJV76CTI7YdgFqPARlW9sJfKr5uI3y5smXAQf4mrxi_pXuV4AveHbfKkD5InApAfwpXB8CK1dhwsJ6pnah1avfsTxiL.CfSMC3xrw5QYQ.42f6WBLiKNPbS0YDvHbTb9Xzo4r.OOS7j2wlDI.uKVBUkFRebOX86mhsiXCfLrbWNbKOtF5GaY997mWzumP4ja3PNoLypNUUAJn2af7Ii6aevsyYIJkBkFmTogDVP3oWRzm5xYzqfyqbBa7YJWcfGNqnBvEXguxb7Q7YMwrnRkSfZwZgayItdb_2.mnsJAOXUrw5oMoghdtg7ADf8zDk4zEm_kWLuZE4XysLG23DBhP1t2Tfr80mJXIcF4X.Sny7gcEVL9_guxrCvQpeLwiHzUhnk7JEyZZ1BHTN5jttWttM_616TrNXGbjw1EFP3M5P7p4cl5LvoBwd5xTmnNIyi_CCNwEkqlGJL97MEohADbSAJeC49wYEeKAOVQF6CLZU825_5YJ5pdvDaAtoVj8MFavfnhPenB1CrhaLn3CsDHAcoHQCsysDW57DJ0pZO7XWDIAo2KFhdimPBAIOShiWRac.AuStVFCRU1dlixIsIhcdMJbfqXVQeNK8ibLPbgmKw_X9833A0BrEmg2UGQps9dhMDUuXF1mkZLQtONZxlf9eWDNC9xSpsW7q99KhHqvpjx5Wp07_VVRDFBTya96hh8gjXWpxFk47mg60R.a4GM68nl3yKkM8DCTW3MqHYMM9jK.KDLDgKJigK4SZOOUtag_BNkQYO7E.esp2hnsTb3YgkkKK..XnI_aQo8.mXrRMV2R58zUCJeNH7WXvodBDBO9p0sRHNsVPA30Hv5kXgSuzI7TVItSyDvBpPs59pmDEXDSzNowbVNSE_GgQNPxlzZFaiaZlWVY4yoQt4v93So.niedIMZtHmY2hGlhjT2LNl_p0JfxNXRXmDQpW5f1BAKYOS_9zZurEj7tOUvHeEpMxo0jgpIMMZgt_.2oi8RpHkTReykati_c.u9eK7tPVRYkrXZnPiyknFDRpB5e2vC7zme6fUgFKgN6G7ntEiw_SdV28x1bQLnn5j5sA4Gz431hiqk9GaDbdEHwNrYBJyl2KJEVflXQEYxclTOE0kGOe61Zmzm6A2ZnLfoDb4RWMMu.goapO.vT3fnKhGr8v47uOkBscaHBRDAWkYxHJpDXOZUplWJ5tY_yg7b5PbaKVRYvvb9vO9Gfjm4UvVYi66s81RkgtX2PEC_28HpJzsotiTpT7ccH.ThoWzDjPVo_dRM25AZMOVADEXgOkaRzBuJ.vYXsE055MzVfHldk8JHsoA4X8N3zRBbD0UXpUUoX29Mv7_S3r5.2fA7hXJZkXlWV68lK_bXlTldV_jpJ_BeVtcYc.qeV.RJU44w0dkrnot75avdikMicsP4VTubxoEBUk3h8mKkS3hSIJRojIkXYp"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d52ea1090b81fb';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, "\/0820.35063?__cf_chl_rt_tk=Zx4zmAifVjcSc0JLtzAs6lLrBVzQHTrer6l3kRXbNrs-1744151142-1.0.1.1-5xu8iSeD4xR95D2.n3uvKl8bh6K2NNE_CLn0n2NXaF4" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>