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: '92d5edebdf375626',cH: 'J0rKHr4EdJAgkoBAwsGIUYf6RATqffJOPKxl_vQaOJk-1744158977-1.2.1.1-yXMxLFr39UAgztLz2JhmKfbWt1Jcn7PV0Ru4NLFZpqFYmnVjI6KF9ONK6jcPkKS4',cUPMDTk: "\/?q=rf%3A7475084&__cf_chl_tk=3QQ8oU8RAGIbyK8lk49OL7joG65H4HMYR2B42_hJw.U-1744158977-1.0.1.1-SMNbNg1BDraxuqO8kjDnmu8fwWq_04RfRev2Uzqon48",cFPWv: 'g',cITimeS: '1744158977',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A7475084&__cf_chl_f_tk=3QQ8oU8RAGIbyK8lk49OL7joG65H4HMYR2B42_hJw.U-1744158977-1.0.1.1-SMNbNg1BDraxuqO8kjDnmu8fwWq_04RfRev2Uzqon48",md: "NrEhCnGc_jQWgG9zIHwhpO8hA8dxcQ.lK1JJO5vGyPI-1744158977-1.2.1.1-qdMWSU01pflHtbqw0e9nifZSqvf6ZFqP1FP3NNtHzCRa_eSJhokrxsbGnR8ooI3siWJSDKRVhJ5wyaW50kLmAF0l0xPdUpfIlkHFCmzkUnw2CIwDCdSVAUz27ChjOLO7CDjuCnLxKi5ESzGR523qgo2HkDYgAC0d3lIGrSwaThrdm5Utm_QGQ0HdKGljPoIDtvw3XNAowr3TScNm4CNMwYf4WfzbY92QKSstid.Zn3SvMzvdrvIEeKb_VREf4qjf6ayNkE1QS677u39fETsCHSNcwQij_VXkbA.QMWIUJsnR2bxNYMPtawqL2bwbCjU4ULPIl4m6XW.EJV8jUjklYGIeimWuCv_OGGg0Q3wy8BLDb4w3tfk8sjpe1tTXvn4QKPn3OkcuMjF5PrSIl1IXGjDL8wdG1urf65bLYwva63xaNHC2df39haGHnK5JBzEvb4ON0RH0Hq0_YCqpMFlLXi7fpwQPE3oSPRw9wHBDTMuuh_0wDwmxON3V1PzPBCtu4yFmvINYM7MS8jEj3tm3VadPeRHqmP43ChFUI0hkUa1Qjk0kWllvcasesQlINVJs.urKnNu1eLsyB_X64Hlrqa7DYqKnyKQa_7ZLRIsIoCTF4uHHXpvubRgR5REW5piqSU2LGV4DlSRcGn6xcGyi8mbekgUJ94ZLKSU7itQGKV4ZUyObNFFh_OmlMLt6k4px2LrDJEOZqnSnWwQy2JM7FLrYMFhwwSKhSp0hn5Vt.ZBzR6KbbtSg0LF5o1HlQEssiY6TQwMWc.vtU.Evb.N7EiAo5skiEjqA4bjUxPg0uyXHpDRbydjLAP_uIOTJjwO2h9CsadJyiZl1WLpSMzjaV_toLFtf_38Ms8nQkydVePmavt24wTlNoHBCUVuEJeSlQfi1H2hdTeWZaVgQybwed_gALys2NAqO87QV92k_wj195LTZbypjA0MSleGrthC8gKSdhZDaaGwjkHEoJ2NAZLhL2So3gUPOjiGu9doM_QufD1aSY5V8sql8de878vgoF8Muoe9kVGVaENTDv7wTC3ny3occUZwei5PuIBi8LQfmxINhq_WPboYFP4FDsfM866_FaD0pVlTSksstcSpx9JCU5Wtp_ukUqlk6TQMgxQTiXD5_b8.nW30z38GaM.YGbupcBM6zpJT8rcs4EcWk1mEdvL8u_O86iiTyzIMXVJ2ldToSI__zKHMPQyD.TZFT",mdrd: "2PyZubrw5dMpube6ar5F7QkhtfUsY16hFrd3Tm.B1o4-1744158977-1.2.1.1-HW9fKg8ngHUTlquD7LXEwcFXF0H211ip.5YE1dKPeZ1DvSLua8ntL._1BRTwFAGQ9h4I.2hPPO_KnrRt.f1ips.7IhQcf0D_b.qHIVqPcaxUevHpo0zXbcj1Zi6znl.f90KRYli41tquDrrsmplEGZ5d.S0rdaWH62t0eX3FUGDIMLFhLUMqfR3M8kahN_bZMcoMAlGMjBU65g98881qLtf3U3smi_QVKngb5hPxUGQnqLMwkmvE0gLsvK9KJ3kitU8u05u1gqb688Mes3aQz7u_UmWG6MQfxD1.mAbnMAUoXHEPEpIowrbzC3oy4hl89eA_NTXrHDOkTOy6CVO.ZZqRwx_MjcW5I6omzFk8VVG.xMOcn2EMtpmXwWJXo20EWB0WIhMkiMTmPg.GbpLGQgf.HLyWqJdPk88iVSPa6AfwxAjtkPWOIDwbHQLuhYBnUvg6UcCoWN19v6JOFLtjDqatNRKYvaEVrFnRaOvyKTn9GUqMIhXQ5EUJMgHE1jwpAlpm4ViYQSp1acRVvoia.sVKggoV.dYqckanHOLRQEz0xN.mIQ0XK5jIYCuLRxUbzRUexn3I1yl3X5q7TLWolEtjy71m8JIJB3dmForR18Ip7aMo17FTMI2XdPbnPizWRCVnnlGj5mUDe8RLe1OaqOQQKYxqCtYYGHCprbQplZmwHAKsb.rHzQwrbhFmE68q386i6mdQKZ_xze1Yff8ILKGFHQNhCZSJtO0vtvnSteMWDDMfWkekKU9ipk27C9RN1OcPgnqiND0Boj6AudrcmQFq51pDNXTZYRMJ1woC0T5VG1fKp7pqDGenY8J268RA_R5Ucv1egLn5idCmPwB6EDA3an_TWGJCXijNYuFYEbczXoSMu3yCt.z6BcI3lJq6Z7B0m5WKhToWaMgwknL4k8U7ehS4FLyaItpobNeF9IxZzyyhyHkraShQgwbLMHosr6RBIf7jZQJWEtmpbT0DrK0dDzvOzh4wqp4MMOeLjs4RDd5P.Mmp9DwxNDOPif.aEIsU9BRLffrPhHMzdLZ4f.1cKAPQmt7nomMdcDoaybS7zaYDw9poRowqoD560GE.JoUtcLSj9G_6GnMh_cHrmmzjfVuEPhorxVuNiZ5SwgZT3SQXh4Uej1BguKwZxhGTFCV6c7jVMhvgI4.YIDjcP19StgTTEXFHZ4dNTs81HdJx8Kxn7nfwnQkx.PjPiyc.KFXKG1aWpYWvvtIncc15HHYAAwLkhR_zxIjogm8pNExlUDme3P5L0zl2dflm9COm0Sozy6aj9WYWh8.Vz50AW1X2vliqHj6zE_XH3570v.HA.FqeqtpeBkbVd1CaOkZBgy4qzWXo0cvZ0CXMRYWfYIuf0i9FRO5ICzAAipFZNpwH.Ck5_FShrChBPXNAYqs9aoFB34V3a58.MyVRaXgHIPWCcbrQzUSlfGD0ZFSnMsaxPgzvsTXA69.wwvh8VoZXty8T_uhHhR1EWdcSnm.m4XnhkZ7XQDDZugq7jsF0Ltoy.ULlArHLG5o1mWbFGLBz1mPrt.CbmqxvCghDw8iBdqarE94oBZcZsT2w9LZYWDpfl_VFR4gt_gAC11uOGIe0R8dX2phh6Wv3ww0d4nffd0FCy1m3Lqbg8hTQSOCZ5dJaU9uL0.0Vj6u90YtAnZs05a8HeAGTvVpFfyiwTjDw6N8bsXzKErZmkI_D.Q254wBEiTav.dBXIBzpw0gmb0Aqy6cx.xM..qCAoxjmV0gjtTJObf8a7VXNZ1KjiaZQKHKtwKJgws.yV76HdvFgy_Gmdiz90phBi37DjtuAvUl1upVt35H.e.WySn4Rp1f2ndtDZhgajR5akNaG0FTfYqDT02V15EfwafDVPbUrMMdkfAQ0Ombtv6eMGpkXf6c57QTTYHKNR7bmWARaN5XRkosGC8xg_KHkvb54sxvEvMkG5si4pLMwKyu9f2Ee5Yq1RfVmq.cvApR9DWKH10D4J_yYahvEBOQfItGl30ougr4X8SOLqjd6aneUzAc6RhlF3x_1ztKbkkfDAvAmDvOLDF3V"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d5edebdf375626';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%3A7475084&__cf_chl_rt_tk=3QQ8oU8RAGIbyK8lk49OL7joG65H4HMYR2B42_hJw.U-1744158977-1.0.1.1-SMNbNg1BDraxuqO8kjDnmu8fwWq_04RfRev2Uzqon48" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>