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: '92d74ebc5b5740a7',cH: 'KKCmrOAFrV0UEk8ugEwGvnlbpGp7z6HQqWEA.9TSVzc-1744173429-1.2.1.1-Xfbi_Uwtg0yoprIxQdiYrTAvmsG.RhpS_N3X4H4ClcpvrHtEmFEACsticO7n.bmd',cUPMDTk: "\/1273.28008?__cf_chl_tk=_En06S8HGLpul4dLfEvqYNFjkQV1uAGH.syO0PEYB_c-1744173429-1.0.1.1-F0lzdSCdFdmE3A792nWSoVWgdfEcUZsnKPPM1SZ9R6E",cFPWv: 'g',cITimeS: '1744173429',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1273.28008?__cf_chl_f_tk=_En06S8HGLpul4dLfEvqYNFjkQV1uAGH.syO0PEYB_c-1744173429-1.0.1.1-F0lzdSCdFdmE3A792nWSoVWgdfEcUZsnKPPM1SZ9R6E",md: "WrMuZYgizrGurly80FD5KWayXK6htuyz4ieNFOX1q34-1744173429-1.2.1.1-SU.edjixHQrGcgiPjJj_j.I3OHX2QzsM6IWL6naYiHPXe8YqXh5cwM6JLnKz5YC.RdYjM0yZ.YSSr7ufVNY0W5FIEX3dRxM5usFTUDyugt.ug2jgmBniRioWWc6fD2lVPOySRE_x1zGxDxl8X_yG6U_pP1ctZV1CGRh7sYv3hK4QSoDGxxOwmyxyKg3y8671DBVMESjImGwqfp7Q.klgeUQlCioivluyMFeJRLQKfEn1j5mXonoNTwNkEZlbWw1NVbCpIy8iJPC.XfUIwa.l2Y_JHlkdWC3635VU5yYLMchBzi.d8cy_D9NCrPs9tYLJwK7SmXIQ93pYEi8FocpnqCDqiddPeFvUtrMR4Zniu2eiP8qrbuRp.S1Va12.2w9JlmS89TeQRzAYT909NeQJG6w_6LMkaqKBDpo5LxfE6N8Oo7PZk_hM55q_E6vvisLcVp8.XZYk4F6R7lzMJPKWVvCo.2HIBM8qcPqsRscbbTNDhq8RcXbCj7FzM6b_XPXl5zRKfaTQOchutT9dwlEsr3zcZXC7GcaSfvlxlwrjB3KmZR0Mc6xFIZDhz.ibYjmLZiYg1h3OuzSBtxMmtrTprIFLEc.eVkqoThUpJoRj_KNuv2FVjICdUwtoDEyFQcQ9oW4RzfZ5ZBkrtdEQRsCaNxvkXJ.D_ThH6M_L9vvF4AZ5dBl.GYuyq3KGWbNRk0JHQ66tvOMAi1I878tOcPy1NsCypgETLMbgTXtUfBcMDktZd2Lg9D0FktQGigVQ.8jjG03R4trHtI9W5e7yXF.GPnzZXVUctGG3mCmyO8aQvYBSjljHCagKcBDWEx0qdoBfaz8skvNM4EvzGUfsuGg5YnDu5wV5.tI4KSQrMZySGCCwXUOL80QKBfrguyY9uh44b.KgfhIu33wJQkDJrd91Fb4BjLyK23VmgfKmV031wWWz10KIEniqOIFErnXG4wcAP.fNLUcys9y4_cWZx7W2kcPVK0pyBVDg3i4DIxPenLas5X5Mww4M3lzyhxjC3enMe_VsvRI_3Be6UhOGdEwNrT2HGSTLvKfLMtWTRjiCiiAkr15iB81m.rsaIusEVpAdqehOPaQdKOwsl7q1XsUvZhjTCWM21Rgp5IaZQENCqRyi2KF8G3ZXuvHNokrRChfJX1uDTQHVkqCTlhP7ETEkd7ox28WB8Ji2ClJ2Plh6C5.qOmtZTfFlshLdtNlFGDaN",mdrd: "nSYaC9h4kV8hGSTf0ehH454h5JHGOkLN6d275qNuw84-1744173429-1.2.1.1-a8_AndWdPA.UNvFrSEJ4mgdHiHy5gurwq5pKtxW094nkGcwy7r8Mu5yJxL37ISlI5IlIVAg9OVDzbX5_n5kINcks4s65EOWjZuDoYuYSwEEjNTK5yDC3VRMPc_SCVgJPD69jdz5WockSEBxbynqOXjWJrGhdhb9l0defgwpoaRKr9QvHix8M.8h2hJqbg_BcheVwNAzYErzVZeVfe7xc1GdeveilyIanm0m1BVUTcD6jNdtoYxmh43U9hZe9pAjaXrIfQl_himXHTxUelzTcQJVZLHif9ZtkZsFHdklasx7p3pgIeCHx_FjGx6AtxwE0HNbIYYhpz9Q.xVknkYNPEjtRYmJvfOoRy_MkeI0yLw8IO_ZlAGDBISZClSDj4UdCZTQq8keZD4S8zoHIHaZTTsxSHFPQyhHToLp6HEQcPLUY2rWFoCcBYKYsnnOda6Mbp_vqeGJAEhS561jZbPm8jbm5ks3999Vx_zfB53ozOf87KQ_SMD.UYF7jMQZQ2ALnrTJitRYqSoPycZ0FAv6EJp2TVVzZaPOImToT_cEmucR9WoNnfvvfQOaejicVT39AxVDwWIyCDub1ai3aaekuXhcRv__PUpZpW0iz6Edui8bQYnoECDfdpStWGhGjH0..vqD1joz5PY3nTFHl1n7fytNyIxIeZdnx666KBeHMlQ4ic1gGJMXBiUDHLiH1Ra.nFKTLbIFJjIaKeVRlOo7_KiJcOPLUOqQoyzI34ojOBtCq_4KyyZc9oIQBIbJ8N3IcVUFTV5LdzuYApORXB.3IdN2_TMT_2xPY5DOdhobi_heq2HjdfF1pWJFEbh9pBmUd2fGff.OJy7qFjjGI_2F24hZK1Ap6I2NldB3bY__NOXI_nA7bS0gI_.K9TX2t6O9vVT.M64ThZkmGwzmCMLMlsqMOisgc9PBngRWPdumHEbzfvroz4Wm2PqktZUvnXv6iL7nnvmpDbjX7NmH.crqH3fB0SNZMEWfdB_xG6st.nQPQjnTEgsHVnwtl3gyYAs5k1GG1FcTJFd0Ujft237OwtB3i7DMDeE1e_OCas.xsfJ9qZRZ63zHvXEWBvOTlctxvUp1Ab2MZ0tUYx201kgjjVNEfjqW5_E5v8jHGGShdHD1lig3PWx2p4.QvYjM8yhXHhJI1TicWguh2KmklGnXsMa9Um7rEO_kWxeyyyD0irSLR6dRyUiC_NiAEV8M3vRnIlnPpNezlMJNa5Y.fycCvxjWtmh6nXMNH4xC6lbe0IylKwf5lPjs_UB6G84.KLNh5cm5Yv.INNjaX2dFJyElMfRuBd9.ezPqjCLVzJfvy0hI6.EhazEvJGgxI_5NlQZVwM2J36upb.7oILWnAdztBsgXcR3uNnbbqQnuvDMCQ7t595s7VE_VuD3fp10ioXme8VYnDWK9gyAF8yzdxBpBV04hAVIg0LTpNByLl1M7HM3ifRZjbXUuyQ8vHW4JU1XEJR3YRBDbeKbfZEUUGsKQZTKxL84JoaXEDrGNK5HakbjMjuzAd22hE7tWsIA7PvpHf7_z_b03dyPGgTLNVpljOKGyivrqCsXZOTSpUb_.hoTyw3DWP5aBxnUDnHG5Cz3vJzWQWcUbmcJ0NpOWw0Mr8PgAyYfm55AVpiEh97GGaEpSBToyWoXPXYrYLI5N00OpcFuXFgTAb0XplUT_cYDEy3hiZ78kJTIx6GxU5kyBJViUocGlIMW4.GEFZvruc3hibxcPawP63FOEa9PSnW_ZwVwSo1LqmvZDQ2lrMC78PHnkd5Kew7U1YKbGe7sTbecTeXx5zDC3sdfxburJ2AHuLiBosLGpdAWF0cBJdaLJNWfTAoEOXZyM08AAZu7FXy92Dn4MDao8l7.A.OpXUcnAfHmIWyeRxz20_oBJiEt93facSX9bYkiK8PYDS_EWWRs42eQCSo5Rh96A.MMwcx.YyoQfpWXgHq5QQ89SVdmlmqRLyiH16R8yoaDMFyGXWaTjNJS1.Y_IXvP4RnGISEsZvORzaerGbK3gpQBHvYPfZ7VnboPO.VxIkTPe2W8.KrTBm"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d74ebc5b5740a7';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, "\/1273.28008?__cf_chl_rt_tk=_En06S8HGLpul4dLfEvqYNFjkQV1uAGH.syO0PEYB_c-1744173429-1.0.1.1-F0lzdSCdFdmE3A792nWSoVWgdfEcUZsnKPPM1SZ9R6E" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>