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: '92e774700be387d8',cH: 'Ren7TRo71.Iob8CRlawaypbNlq5l_gbcKofiW8WWwLs-1744342745-1.2.1.1-2NZsTZGh.EMbYoSS8FKcpB9abci7U._F85DtMKz0.VnuElH3fNdMY67JrSdGrGx.',cUPMDTk: "\/7995999?__cf_chl_tk=gst_Kl3dQX7TeD3iXkqLfKR0iP7__P.qRY6I7a6VqHc-1744342745-1.0.1.1-ptF987A9N3R1jznMxgAN7hy2WRsJNSVno6e5bWCzSXE",cFPWv: 'b',cITimeS: '1744342745',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/7995999?__cf_chl_f_tk=gst_Kl3dQX7TeD3iXkqLfKR0iP7__P.qRY6I7a6VqHc-1744342745-1.0.1.1-ptF987A9N3R1jznMxgAN7hy2WRsJNSVno6e5bWCzSXE",md: "7sGf.n21lG0ERq4LV4TeNt3.jHSaWmem_1hCH5j2aoI-1744342745-1.2.1.1-SBuwRwiKOa.6561l8ArkoZHcEze_NUB2BrGdx8YosOBuGqlkVQCpcki4U_Z73TEXQffDuJw.gB7Qi0kPjcc4HfmZmFvDPSw1TCKw8gUPN._O0cUNxUI._hr9_LzErPAJpqXaisgVb79dMGiavABLKoZ1tNieA4JcOUHT.6b0x4lMyuhzT.GgHdFUf1oeuV7W_osLHWrH.tLiuiplNFCSaySbh1CpiaT4qVBGCH8F4EzFGPxk0VtoRHwASmmHl_Q5iuHf1DhgFvE1eHJ5RRfXvwXEhk2XbJopYO1h.rASM1h64nrLVeyT0hc028yqpx2PnVcS1zphO6pwXD82hW.hHc4b.Ja8ZBw66UHBFO1E7vtZIafX2A0Sh8Sk._C4X0GFY4O8KOaEo6AymDliNt_UN8d92Xp1kw9Lvy8BwQ6XfphDphZtqv6oaFUdBQUbbnUwhf2c5.ygohto_gggpUBcI9B3YklKL9er0ULfhjni0CZsPs3Uu4FyWVRdNeaQiVNtmHBvbOzzPlyTVyUFKwET96QvSSPSycoSxEeINFrIyJb3GIyHA0RHMfKNH.KjIhenaG.gtExnlX4c_NqZEn1XvPtJYbxYSG5I5CWemT0weptwGgoR0voPK2E8N6qRNcVlDW50DDOSNvFZhrbodBai2PtDviYhzvalLVi_QzDfdCT8yuVYd9Ie5dWo3etTDYKBLNHOWQ5xl34sm1VPt.eeGxJ.zwiC5p6tRFxVDg0ZjTPNhQZRf5CGXSU1MX6yChwjHNyCOJscPGyUnk6krKyw6HGECT1k55kk6UX8MOZlPK.gS9fKeg._PCZZToQYEREU883mbwqO.7F3u1QIlTeIFhUGqfbydQQLB2EBDC55qomxHPtoQ7_HhKq0ucKQu4bx29FDE2P3fdmlsnxIyuP18utvA86Pgr6vj7fjsG8Co.XDGq36WZ5V5kO9IyEgby0i6zhDIiytxD7Wfy0ft6p5lW5wBrQ0Rxptc9OqlBSKeOmtcTxUi0I7kv17h6HSXVRkN1wQzvbmVYltu.V0UPj3GQKM3s7g8MXTEzRiVhKTyO9hsWPZgsPjtSffha8VM14s_FM2Pe3yEVRyJ8iSCmJLP2SalayyxsvORcJ6GMt0TR68kszyWW8oCCKt4WPq5ygVZmSMwOb8RkE968IjDZFp8EnkmEZBZJrbSFJYzTcO32U",mdrd: "rbwUrg0KLW1HZ06NV13J5n8lc04Eb2VectwZhCxUjC0-1744342745-1.2.1.1-XMUddNZ9XLb.1d7F8rwJ9JEs72RMvrco_DVhm52ymlngrWdC8wRnG9Eq4wWmDpTLLx3d29t3kXj3kP.knLPraSSE4xeyoGkqF2sS1aILSiSDouPzB6W7z0pGLk.Ut0dAdbHkA.2mX4ess8Tj_8EguJ2IOUzLdUQ0ncedX1XZz5FitKUr4tY4UkhXUWYpjgdVmIpeSM3rKaqvYBd0lZ19vqOwKjROl4VYohc35r_z.Jignka7fiojpjsJI1evEbhl6DZbzGKeB.KhakDoyttsgwj4pjjDWTE9_9AQaHDDHVsyHwos8TmPBjk5sEA0kwDF03GQ.jBxQat0pkz11M8NHW9pk6ecrPOdi8atmKNVa0uvwo9TLOl58qUZoGI9x9fNpAK8Kel0AhWFfmDxTNlinKk9b4hlMjb.lOT2yy0rcSsxMMxqAf_G_vfDGxx51iPA4ClerObZ.kHZ_38xwxABMVUutskfJfpBTe3jAIpnbB2oppwaSyXZbQWd9dbxkFp91Rd16rQFBa1dDBuE80KvhZnvSVxDBG6HuyvinyKQIzFrQJ2.bv32KlHYBlqpyYn7MBKRhWh4xMdvGa_BDP64WtAUIm49cCpFs3ohLgBOwtW9cSR0pqmDMDJ_5ao.a3SmEWMBKbRF7h6b.sX44oyTG6UxJDNx8yLw.aBz0Ej4vIYNyibhavtummRlhCS3eG0azL3KcTnFhAmEGbjy.SQzlelTvaz50ewWw.7iOsluv4HV1bAcjvO89LKNc4CKRKTLDd_HPNaDRwPDlChoY21MzrKisn1rXUk_k8NlhnfZMBAjSS0t4OlGD57.v3F8Xlkp.0i8a0CPg8iF2_.hk65RJeKPNihSmcm10JBH.Ue42N0bPujUEPoHOvWYEknxNHb3XuCFDeqfGBDfN8i8CYq4VUi96c7mqhSmzFImsI73i0ttD4x62wmnGBnsldJyOMgEPCPnEarFsEGxo.KtcVvDoHVCCbQ8AaLbl4k7xPy9qRsrmMiwoXviMUkXbhfsaW_uW_5hVf8oWychJCFuwSDsQjNKW0U.8uYWUTgU0CbzFSayP7i3DbZsADDFCxtaQZ88hCkCFLSAotsjy5QluKJYs2A2E69Hfz9RhHTMwG5VTyIAQW.NmZsfFIrOmgo4I0aFs7M7IArIypmP6aaXOskbRHw0ojcZWyOoi3t6_MrlbUAQsMGXL5cJtoVg4zCRa3Fmf.BMi1CXB3sN2vR4Ppgtrp6.pVj2repSrvsWV1fXYSxeXB8yki0fOM.mY2EzDiK2EtkeYKNvwqpmTHgky4.Ts_xAaoTgY44OQ7MpFTsF0vvTFvAL6.0EJAS5oQzYSvzXZuSBq7TBJozveNIk9nVbkTGUYuARjyVbUmYGz560ScKkSPwSD_DX7x9.BJgsbhMW60TlP_1mKRpmAEPEJk0rihpvawsqjPAdW.___tZFfTcWvpU4I5UUO.iNNbVeR.myGqIZ9xZ1dSU9rcD9KlNUqGB3pbXonfVDErc7w.cs0SV5nD7U892aIj0Vv7YpXnQDsqYL2VHalbNycrYDsR6OFC0c7XZjIVpABrPgGcwEHAIcYkcWaDgkeDvSI2vlILmqYcKzL9o4nzZVrh7o7tNHBaaMX16bOCf4.QhKOiXKqMv53axj5Y.PUh38KNvWGq6QzA03n3xSBqsiBWseKmKpV5tVPUINVf8C02rnBG7iNRTw4UlZO2qNf9VBG7TLDE6abC7wktqWzslx_Y8Nw87l6qoWqZirbNo4D3kHYtvcfSjuORYmn7jCof.WbnnllOPXla6vqLBV0SS2qC9lMKuz7NmGFz3otTTbDa7N97uQF6j2ofGY91L41RfoLerBvEwSsl8292RBRMEKqgEllV0MfGygtujuAHFkYqAer.i5tXIKtAtG0i.J.ii8EnwgRt94D9ylBC2E2uGwBoiwYiwdCwiaWi2U6xZVeJuCIizBxPhBIc0eKKYMfqPQTOrG0bAPQgF6cQS88XafX0R1IZg_76ziNXstQmZkp2HXtyA.5UxJQIE13CNI6K3deRNIZ1vU2lxWOkHbtHkXQfLiWG6Z6g"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e774700be387d8';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, "\/7995999?__cf_chl_rt_tk=gst_Kl3dQX7TeD3iXkqLfKR0iP7__P.qRY6I7a6VqHc-1744342745-1.0.1.1-ptF987A9N3R1jznMxgAN7hy2WRsJNSVno6e5bWCzSXE" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>