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: '92dd9c44b8b45fc2',cH: 'DdemdJuvL0Ry6BPEvPxr4D9lDt2GDL0cV4fnlMxacoE-1744239519-1.2.1.1-CvMhaFzSTdRKabp.ckb8MSsKuL3Nb54uKyIrGxvHaxwrQ0pm4zHqyaiE6KjTk16W',cUPMDTk: "\/1420.62097?__cf_chl_tk=WN9zQGQRnWa9T_t.aR_9Sp59ATFgJyqcs_JPke_hg2s-1744239519-1.0.1.1-zgYUHx8ltaEhjd6Si3zpwBVpXKLKqRg7PmY_gSfjvWk",cFPWv: 'b',cITimeS: '1744239519',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1420.62097?__cf_chl_f_tk=WN9zQGQRnWa9T_t.aR_9Sp59ATFgJyqcs_JPke_hg2s-1744239519-1.0.1.1-zgYUHx8ltaEhjd6Si3zpwBVpXKLKqRg7PmY_gSfjvWk",md: "nzWz4246N9HesnWZpvfQfiTpiUVKSjzEpb0iFVe3V2I-1744239519-1.2.1.1-8qAQ0Kn3Bfh7Wt_PBKjtFKhPB2wXDu_exh7wBSqmYNzUq0N4KbuLkkTjANxvwyJIZgwnxuClHY9F_COo7klYLWzr1BZKxec9oX.3z2.4rJQohzAziiGWb.Lnfz7SKr6yop7u2zVbD6mjwtReljiKxUPynNdIQ61zS986w81uj6M.h_rAIJ_vUjVPkdXqsPSpajr1.CODbJaCi40jZVGGReWqjmAGeQJ0EG.VAOuKxOIxTX_HgIHIBjMKo7U5Os.yTFqMhFiXbcrBsZ4ZSQPwzXErLjwAN4PgLbtAZGPAO7K2FhQndjZ1vSt_XjtRJCHrfFgMkb4Musw9pbAU.tfsDleeMojYG_kXDtZmc7RdfzIlnTf4BLftksjFOh.5kdB.h3ePtZJyoWy4E.UT9rDXERwqawN9PmIUyOVfCuUYXdlO29UO7uElStNueH_MRUrmOKvjIDlm9CLvVGlV.q4.MkWmguNdyIzo1bdb6GAE9YNrtG1GSBPp2rEHiVM6QZ1ChJ0Kvqdzf6wTXbqLZrYd0xZw9mV8jFjrg.bQcK5bb1ntXKfLiAZ1FYH.q4k9YhGxKjYrL9e7ACKH.M0q0h_kxhzQH0OaghHWIU5yRYU0bC8tYQO2ukwIIwRo490JUukH7sMcvsrIzCLo2ZHJHHAwGXNTmKvlfw_smNbhRaKidAfjuXoDiKhXTf8aaG25H0Bng.pvJ5xU5cKjQjoZUbQkZ3OFxIxlqglaIdQMnA34j46SMwed1hz2No1xKa0ia.aZxjcoMddMe8HM09J2F6s53jGmBNiBO1X0KGrqQJsnEiZmMEjh9xkjZY4hJtVc1KObbP4kY7OzAnaYUGqokH57LM.nBVjht9WgVrDOIkKXyQU2kdNZI62FeQrjatRUaibY3QGQ616JwX5Zpq64a78nsvKwiO9AiPTBINZkMYcxfMnQt2.7.0zhQ0bkBJBmuiXno425tV.D0B25v6p6h4f_Ryl0fpAEEKCSjxUf9nKJvNugjV4ZodtaToHEAeFG4vvV_yw8jpC9dUQ1YCzG5iMAwoKbwernlx8NGUxKNdR.HbXIgcZOdJ4b7lm6tdTLfeoZXv61An.I5_GNPw3rD3tWRXlJYQwWz4Cl9txBxUczIZ9LS.gvbt12AQaPI6qGX3rWrphsQ9VoP.TvZN0cRFdZDM7cKu57LtK3y4t.JrYj01rjtfUJX0VqJzpo3fW4zlb0",mdrd: "uzWUcGTO9yyyIue.4KW0MRrWxVvw.bgDvPdY6SVPbCM-1744239519-1.2.1.1-GgauBHaKkn49tqdDV.efIJ.ytvp5Uhr.9pGCCEWaLsFmgCmqH9GEjX5.nXoQvIZSO6WiJLtgdOWw0WuZCvmPbTohEUPravPNH_6U0.GZPvhxvxdtQl6S6qxaDsvvX915crlVgEYomUHahNAYiQniqhjWrdOiVQi7Htav8DSHG8ur80gL3n23ZVRfEj1JSG7quP.fNkXW0P7CPkFLgjhwJ4Z41wHo.GYBakxFlSZzbwvQGgYx_gHfErB3pTuyv9gAyKp4XDe.Omea67qlHjlbU5YyqIsFaTDGxamTl6K.tBNAWohTG6gsBxzi5.FDvpDSkL2etcWj4XKCiztEPc8pTeTk1UMBmkVCiCyTNGLvaIVCXCNzSP0EFOnoFp1xSyGisRSkD7JmzhMDAfyCyhQ58NdApzIQTxsyPNC_gUaMTWXo6cIrGJH3U4oqsfvceWTCbVwwKBwPoYeUPCTK.4vVEm8fXVraovcaL1vokB5DBAgU1o64xzN4sHCwu.zW7tJaCyFakV25bctxm7wbJ_5w_LZd7d6YqTpSMqr32M5KMQA12NWRoyLhMCk5lWVpA.C7kv4RTPMj1gaYY15uKOR6EzWs7Mp_SVDkOjUtGrG.HAM50D69JkrIMxnhmAjppDgj4EDaYZMmiGBUrrcj5He2Kn_Oqan.nl_FMV9.22CF8REliyvHbRW1aH97SsFijpn23LStp3fJeutQEEIRpS2nGeeNaMGlfdr283yusjqzNjC3iiqOkjbjlQlVmp.Ymm5iv7Ag.b108RXZicHC8MKqOh2Dk5_YMl5VC3P8futgP8plceUj8aNQwslC9YSbk.Acx716Ghg4WJ663uWkrrXrO3o.npuMe6jk1zWI009BfrYTm8tDd4NvmiTSaX7ncLj6n_n_xKYyUAJMOCFvZWUksAPnKooesULLGIgH.AzHHsVQroPVhyacMi0WC9u66a.1V5hfKexcyPdfK2PMmxL3N.icDLtpSwynNQ44ShPyOYgHA5UKw2nWDzUH5m863QHl4KNvXucn_b4SS0Km8FsZVWyUfGclIVHHpoPIpbEtaR4qVAPfk0RW6WeSqYHZZ.EJFPV3B_Bf2zq8EIp5R5kQ8NkHcdeV3ES_uTkdwrKKmVkOhkMQnqc1Bo6ZjzwPvRGJc7FTshIxGgiNTFxR6PmXFUUSzl86NgA01VoRj3G0b6BRdUk6TLKsSZOzLwxoGjQxRb1mU7AKmIPIIs8g49p427kkPtEbWOQF1134naFhaiw_5oBHnipjE21FEdDgTp2WwfZotzlJjxeDlxqIWOGFGVq2r0ZUfoBN6JfiyZZ.u0L7fjot7HgH35x6.7ZjLNhuChSuktS1Gb.c5XrM6nqAbdLZMMkmWKr85sUUFsz9Mu6PRH9mRXeZ1DGpk_.GF9CoBtKxtlz3PqG_IMSmTbzQYKuzj5QRTfZSD21YFRAc6uavCHRaa_Chp6FGnFyQOvqQgzaFB.pSQzANSAs5X68b7X4v2IC7NTjSHLObBg3ogQSGmzcBvxEGy2dnEU0bOGbGhfVNv5GKJcy_1qqWohXKMZEoYUcBP6VzvE5cx32EUEwZrIDgTj4oOqEK1CCWQL1.NXbzn.dSjxNQ5T6JKaacKJfTCXZLew.yJO_lTVeJwCihk6PmABtRPdJPWWWjqM4uNpCtARMr3i3FafJ6t1SgUjEdokjLu9xDUGZ2Qh0zGFyc7O.GXYGFIr_CMsDZsDnRtjAYrVzTZmjAEpOmI.DxwTDMw91RhheuKqltEPxqj3VmECw.K64t3TWjBNySijxtjMh417j5tYJQtKDBnYNWshkN0AhlXMAMPjNeArGVdSfj82dQca_OePADTRCQ6dRoql0KqOEQUA_95Kogt5y1am4Ud0JYhxd9ppyThx8htNk35Hw9I.PVTgTezuaVL8kektTB9Un60NhcTla8cum_fCwvEPJGACUZjUowfnqhxATXQhDywEi6Ylew4EG_zUKG9GuM_1YFG3aHkIRAnVMG4NNMYidYh99CSQhBCi_1cjVIPN6tBISGh.3dvGMNqQRe"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dd9c44b8b45fc2';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, "\/1420.62097?__cf_chl_rt_tk=WN9zQGQRnWa9T_t.aR_9Sp59ATFgJyqcs_JPke_hg2s-1744239519-1.0.1.1-zgYUHx8ltaEhjd6Si3zpwBVpXKLKqRg7PmY_gSfjvWk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>