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: '92e163d54d56a8e4',cH: 'tnKdMkjY2MqAgYoHcPv8z45WolbNimkY.oxQpI1c2oM-1744279150-1.2.1.1-3qOnyk9A3UuFBWnMoNp6p.nfWudmWe2CuKsYWT0wNPPR6sVcvQ6_K1o_H9OGKxBW',cUPMDTk: "\/1151.35311?__cf_chl_tk=fd0gExIz8MSbUjXEdhrLz29kVh47YUqtIJOFmTyvWfA-1744279150-1.0.1.1-w6j6QcRcrLr2nd3HmtFW3BrmzSx3RQD20Ct8TrfGpRQ",cFPWv: 'b',cITimeS: '1744279150',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1151.35311?__cf_chl_f_tk=fd0gExIz8MSbUjXEdhrLz29kVh47YUqtIJOFmTyvWfA-1744279150-1.0.1.1-w6j6QcRcrLr2nd3HmtFW3BrmzSx3RQD20Ct8TrfGpRQ",md: "RRJ8sK6woAXNDQVdZOZn0iFLMdfCPMZbSaWYy3Xiv0c-1744279150-1.2.1.1-wDPe0eUmADLHnyMtwBIKhd2Lysm4ikMklN38c_BI8YmChkkrUxG4yK0a_nnma8ZaKrCGqFSd6V8ugCJZb7kHhImJ04Siz0F0BGCrxn6rFeYKfL9CcL8UTPMDl89Bp5iQGcdnnZQXyAJNllXZfypIe7cSyFYSvBu4_5jQB.1e2jNgopOkanGQaQCM6HlXunBRnSiv0fbs5vZ6_4R0JLZ3XJlrNqj64iMINT62G0Amn2g6O9jRyqer69qq.KmL5gNpsu4wIcQHHBsXzhsYXBsp4eHb9nlCsqVbdcK9X84asXNd6gMYWVqm5GNavLMDEshnFwocQMvGHHtjXHFgFaXgLoPaq9NlaEa5TbaVN1k0xMbFcHP6KK5tl3UFiHW8vIK7JEvJG8JIABYQhyOt2Xmjl3UqsNhOQSLeWLkiBH.Z6WsXX77r0Sh90lTc9.UqvZtH.U3RkQHlFQQ5r7CePftAg5sA1IBLiPbdDiVnh2AGJKwiw9.KK4sKGMYSfBwPdyBctzZ8IaVa_ZR.nETnMI.GmmyE1P2GCXNl_lciTZL2b6G5pjh_0d8.J0xUJErJ_kIWPwdBsW0YI05YAhXHA_hcu1tRkWjopGDQAMlKqFLTOXNxvSOlKo9Pq37x7HkNMhtWS_9JawXUzGp5OXKXOC5PeF5kwnRhxhP9nxQUDypmIYpZ1zfBS32rjlWtrd2ySGNfbiCCMukyOX0_lfef1sA_gYu7KGfDZwxbc0AMRCXEu.QgT1bDPXkLVXq9dfBGosT2.ujq1R_v47fX2dj2CKPkmPAqUV_FCkIdWsX.R795sQ2kl6oUhSg0ZDe4NHg894xNv2uYgL.YkficPfKy415w_z8FNCAVZ9GzqBUzsUgXv.Uq2Cx_CQh3labIyKDruI0grsPIeGloXsB7ggzEr76FL8AwNk7oxBT2vfTOpxrDOJRclQ7THONtvSB8qg.u6uWEAjjShE09levsVcDtPROuJJAOmxO5EfBOpEDkF2DJIKvBTCD.UABLiEyXCrDgF7nbewMAkggNtAUblVAxozYZ3CesNA3NsvnOspNlBILjNnkTCq5J4U3JlDUR3NvE02.CtFpT1NcgRWKLIYSmhOM2UjNxMaIREwnSJDLyoJLdpQc5Qg0ICgAPxYZEf2SYjEnOSTAmoCZI1f621UOOopCJzUv3uX4UDfXFXlavLXyiZT2gMyT57NUqUMhJhI6uA_oE",mdrd: "d7qikLqRLFMtgaLvXwgcNfsvM_SoQacIbM_f7NlIJGM-1744279150-1.2.1.1-LU1lRheBN0NaM_Jiys9S2Bo1.WqDwp1WVPWWbLE0NxdkNrelOkzXqJYSO.n8KxjPyvJ4FlHrOc9Uxe816WpcRWHcmz9LixVsSDOTYGXHHA9I..Py1pOYCGLTQIU6eeKRKIdNdT5O9WeQz5IroWY4GV8BAhKCG0CaNLdJ.cGCF3tDqlqswINXwVntzrTy2SB6LGLFO_fBroaNfh9FR8qYSL9u_NVEtDy_QexyTR5Ratx988CX9dkX8D5Xr0wuZTn1dXLuSYzxNfuE3IEW6V4ydpPChojWfQ2Q5dpntzgb0TegRNZgI2k_r45VSj8mop.ayHVdPWWGGCLOO629cRkb03UiKHBIRKWJQPo58JVnNuXBwL0LPqDOrIGugHkC0Qk0rWo.FlQtxfy8iwRFBopRzuSJGUQPkIrawalBFE.HcLh3c.bsfZ4pm8XtOVa0kSM1wkWKOOgFkbexfSBngp1qnMLdNU6YFR8o31OBRNCUxVfry2JplSaugg1cdGkwUP__hrEhabpu9p_b3qZmIvH70QpIjpXLITJd6tnUBnQ1OVj._oUJXhsyN4gC4pE_HGz4xf2f6on8gZBjiZO86OP9E7vgyzRnyLlmxsAbHVEM9Zht8ifHolge2xU.jyOdS6FZU_DPFoJ_O4Hqeds7ZjAcX1ycirdNt7fNYWDA.LVUe1feJFhzs1KRddJ2LFTCH8DCx.76dx.5BgRmXyM.Foh4GW_4CRFhNh.5EoWNXBjgTmVibqvVRc9HZHPQwsTFK5wHIeA5JOn3P1TvF82KDfSafgs4qn2IpDLFjUXt584PVmwNxmBwmuEHA91Sf3J9GoeON3AjTvT.oXl1WFKG6FYAbF7aXGBb9rkOlD28bJp3ZkUuhJM8nQjYF6Uh5S7esGxX9cd4AwaoTkCOR5p1OIhx40Q7ZjeJF_lNWA1jRlYOpsuylOvzxvJoiXSWJygLTaxMkIyBReN5vfqJJWYj3IUnCd7ZbzLy2aZxl9gorcleXDNFAK4LZm5MbSu152GhlOVQOuQ3MUsxSDP.hx8Uoevt.LLAPNH1rmwn.bYW8T.r5zCn._c39BBwFrG8LVspc89srTKg0vR2rnnor5XTHYFgvigGF1zbaCaUG4QdZVGySlgJsiIEGoFFrIZPlGzhmFa.RkhkGzzaz3kOoCXHM4ZBTixJTYUMOuOgoVQ8aEfnvJKvzF4d1Ns.70.Q94R0ErUErOIErlHh6XrPjGcWD_4BXOhVokxZ3JCthXUWFcFnGf4vmohtRE.QMKLVgjslCP4zRN98wtIa5vQ9lPE2GDXb1aU6Vrs10cIX3btn3mg6WmYQio2Yago5yLJ7VWseCfkCjPxZoOnQR6nTAegoX1dOzpoKnJNe.cWU8zDL7SIWn_H3srgUnEQaofrV040W6kFaqnRjJAtzNSO4tjHYkiDkyTiata3ti2.O1EQPiteDErEx9TDgOqCrq5dt4xAS.Q.tliCMoJZfgEIqlhrzVOl8jREjlIROQKPNCm2IFu6s_Xu6raZIAW7PKSbjW8KmjZpY4SH2D4R7RMgg1T8FSjnZgJceSHWPrLwWe8cFDm_xzxRrBwyg140gfJpXXPPHWuqRwAKGW22XoWTE0FkJA.qW8VR7p0YE1HP176PQ2a87.HDkl_53iLKSmjqHJa36EJ3Ol_eYAZ_AM5QSziR1dI1e0.HpOjS1uFCGOfscXlfLgCz0uJNCuwwROTTd.AycANZukRcbB0r2tL.C1H5CYb4fgB3tvx5PsmNVE6jMskML1ok6JOIisifhFXU5sX07_DgOc.K.qsX7RL2sy2JOiSgFq6Ft2IzFeC2f4yVYqWHjuu8Ynh609VKwtyqnk6knAnKbvR8XZYcL35mqpKtOiNqfOZgD_riquciOLQNS8tKgCIAkvDenj0sNVdB35IveGUfax2sjTVPkJ2wjitIRTAjm7OiNoPi1s2PJNm2X8bihI7auTl6s5kP1UTUTNzYcg28IFaUdkYGkNolWJFBQQBhOnxrHTYyazu09UxfpLworWad9Dd_t9dBKg5JRKPF04Oja"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e163d54d56a8e4';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, "\/1151.35311?__cf_chl_rt_tk=fd0gExIz8MSbUjXEdhrLz29kVh47YUqtIJOFmTyvWfA-1744279150-1.0.1.1-w6j6QcRcrLr2nd3HmtFW3BrmzSx3RQD20Ct8TrfGpRQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>