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: '92d94df608e1ce75',cH: '0NKcrUmr7IrSDmXGcWZzYkx2ISdNR83Asm4ktVieiaI-1744194368-1.2.1.1-iKNd5NJ1eYVB3__zO3goOaZrRk6FZWRNTY_J73epx.eu014yBfj4666CNyaInlE3',cUPMDTk: "\/1441.93299?__cf_chl_tk=f0ncinJsXk8_fLOB2nUcINEKlfY4pp52qynTkaBP96o-1744194368-1.0.1.1-p7npgw_YcNPaC39k87NK.Q53Lb.uwfHvwxxL3as2QRI",cFPWv: 'g',cITimeS: '1744194368',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1441.93299?__cf_chl_f_tk=f0ncinJsXk8_fLOB2nUcINEKlfY4pp52qynTkaBP96o-1744194368-1.0.1.1-p7npgw_YcNPaC39k87NK.Q53Lb.uwfHvwxxL3as2QRI",md: "TTr6m5rEYIjQtfxMUaiSUkZsNznLGTXxNYF75gdM0PA-1744194368-1.2.1.1-.v8upSIcQTg52.GGCMfHZ0ZArrTWNLdwNDTsqsm_SKf9gUPoFW_qBO_2MI1RT8opI73ZgKkjClkDQgkn1dLe3zeqp6f7xs4otWm3TIeNhUoQzNGtUwMHljKIDj_YHNULDkGBJZfZ_Z2MJDvPLjQznYJPvL9j0oj4Ulk7nw3EatZcwafJ6ASz3TwtE.n64aP0d4s.bs5HyOiFQzmgOEQw1V4hl5FIoeTZ9jzFoJhC0x4NOSlC7H3n4MvUDNk9Ais4LUM1TMUElMCoPRUt.ebqsM2bicJzbm_t8EpPOFTdHI2lKV4QOZQ4o7gk5U5pu0Ce_qJWafmnyecCyCaMmpGXQYmuRmbyl6hSA9jfBpvfkJLmPs9yJzL2Lgq8vsrnVswGzZ.ZWf6DMWVRJnPqQntcJD01.3i1xfCevBKSb.a106S3Qvz0ct1v1aXUhP4fcS27x8j3rJrijSBgl_4KhMhg1BUKVfobGnkOa2.MdlY1NPT_M8HUZWnXcEUMBBVXc1X9PY5_T5wB2Bc7Tjm13EDAV3bL1XVsBSL.SLYtMTeI6OKftn0JlYL_30FUqabYcaPfVP63voMbEsj3eQwUF5qx.I3eZP7lV6iAX5GdUY0lN0i7pCIhsdED_6NWuEw.fQjNRjwCj65I1W3wfVxKLx0Dc0Q1g_zmLlC2aGMHuitIV7gRy5E.FRwvrhhlGgFZ1v43ZZIDWs9ZtvBfEABV5TQeYXdXIJrdk2iDd8.fe1o8udNWnp8_0Y4rS8.h4rCZPhS5xvUHOqa0zhDxopkP8v5OiEz15_1O0Er3WC9jl1pzdQO75xzqIOAYIwJsyFg0f9YrSheUzQ4KCiHM8lgSP8IFq0RS25df7xaUu3UBvq8QOtQrGqGqc00jPFkFshiy.RI0r2YSyBFfmnGM70c_rpqj5te.dtG2qX4NOby_DpaYbFOKvvQwSGFRfEwc0NJZioTeqViXVgW6Rqqvzk5k.gngMxIK8f96dt_Yw7H6fKJDtP.0YXjNADPLbizcuuwj6UFkNBxFtHHYXKNsE9GrqoXfyHM0mhNd02QWGhTPvicwFewkVikRA2mFHu.ZpZ3OYQEaddEekipTgKg_neWt8.UyFLxVMSn_skGE1c9fVs9ZTZXZks2wXJzWIHdVBFaiPMa4GCMmjZ64FwIrpK0D5JY5ANpRot9536pOOrCST22HuIT8Zw9DtudEfyc.8HqNqONc",mdrd: "ZSA5m04qRcvz.L59pvSXcrU7.Oqqbj2aw7spzKM6BO0-1744194368-1.2.1.1-3xTTUiD2UslyRlVtzxkvABVwrxThsQ7rzRv_.EOYXEq0WWscOpC9kjT.wRTcXrBIG1wZy6xXTsdRGSr7bUArt_uqtOXun2_jTQ0EpDzq.tnL0YkTTCUx3zDnQPTH06dXv02mRzj8LV_T4nAFt94DOt4fNlBkgVAIGLQcdU7gr3ZIr.o.AoqgK_Daqv8NVSapRFJpGsRElTtYtR_EwfCVXz8d7yN17n8nZlbIRtoT.4R4UnQrK_ICSWxiHsDyJXtPXymq6vsgTK3p2Fv26HwrL2xTURMk3loBxrw9bRkWHaPwWQKdg.KA9TtxsPRyvZqJSSVAgr50r0DPhi_MB0brEF3AawQlIkwXNe9Qxum1fJVFJn.fXV7eKIqXImKELSVL4WQ9yeQkb5zFgdgKpV1tZ9y5vimZVYbr8BC30X1oVGY2lo0qiHJCcFFQxa4UJMu5iHZUMV1WQ.TJFpIm5xYaQoUxrdJFbiAZVJGXELJdy7ZdewgWY2cQWiqMhVvwp_X4EeacioHs7BiO1t2UFCauMBjvdaRXd5099cl5nm8TQBIi.PG5ctaRATP5FqDLfKo3dg__yGjr8j5zs1qVqrbsCQcfBTnN2t9XBJ076n7oeo8DIBSqWnZhc9Y.UhPyUHjb3wJDIEJVcgYpGujW0R23.Hx5Chl9RhVS5.Hc4hSR2y1oi5g2pW9xZbqdCMmkrgg_GFXkkYjGS1Gq7TblYKqTPdL0WQ4nyX18gO6O7XaUesobqZi10LtVGdIvF4vKj1dYwdWKhDGvsom7ziQDFhufxScJiOS4HvProkONDb6ww7bJ_mORkWVhXMr1GEV81_eeBVs1wKdHikLKsEJBSumIKRf6TyLNZ0jw8M0NCn_e.COQBmzq1T9kSbh.tQLTD3HGgwaIslWlolkUFKJU1NWdSLyl4yFghmIdFYHYu12l6HWWY.JqKBwPaaDegTc1GpuqFZW1s6MlJfMQuwGH_lvf4GmTIcENSiSEs0GJ9DFll51UDge3F.EH72hiEVb3BO9sg6S9PO1tSZvy.bCxlqPsfSU6vjX5AOlCOaSyyswYv8y.cqVu0HBDscbOKxkCzCMSjFu3Y3_zNCiLYU45sQmzNGIyPSp3Azx4xJ8.jLWHq1ouo6kY4wXx4C5iFrDB06G.LfR8d09dXWH5yTQ4nqNSxDpu5Re7nWvrSSx4W6wEyhm0SrhQAVWRw.q1C4NWT5TS.XkWaDErRoSWow_CNYBvsfKNXMRO1yjgx7WtJdEkNCs3jCMl9PqU4Vx7iVf.MmKFBVOP7AScG9vQVRehCzTlpzVOaXOzLZh0Gk7.ODC4LumneBSokyNd5hk9RTHa90P9OUe5__KPf2wcsUwUjhQPrawA8Kj2oB0hwUBoVQd0JFXp7fDt0PSXeDM_nKP2Tvt.VvbXarwXnZV5iTY_B4z_JfL.8SCGdbvSuYItE9cCtbYyFecXEB7IxwZiRD8giBUSjoj8BmAqitjtEuRESJH7lhFg6NVS1NRjf43kJCava3UIPUw1EEEIsGB.XWP5sWCS4aT_y44iEftIcqxBxEA1UFqcBABeFmoaJBnKPz_yaaIs7GascW1bvzEv1f6navkqDhKM4PRWnyPWuIUZ9fe1Wc34qfNHf3fDU.eQlDwR0ba_arZXp00WCGY9xyz7lYT7F3bJalnz_2impPGNR6jpKlV2k7v3ybJPicxQb5dI4byX77gGEVX_YenrTwq7KUa8XPF0MS3ohTa5OBSTx0svtZ81VsuBSDztzI9L4dAzPfDoblpYzSpHk0sDx5Ytm1lENPoSgZINp87.Sxly5REwC_CQFBq0efTIlnsedtRuGBjal_TmwsKwyb_SeCTE.sEBBTwJrjS_8acoh7qaHjfEejkl3iUkbGRfr5be9uAwDfNTkF6wub09e1fSirxTj_uQvk_.meW329jA7vhkNXOc9Nf1bjtL1j9.y8B5aLzd.2fQV6k6GicyOGkJjOtUVvrlruc4BGflAz8QemS5XD8voAFJsl2yRY3587whYZjC2jL8PKYzQt6yZnEIBjItLrGe"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d94df608e1ce75';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, "\/1441.93299?__cf_chl_rt_tk=f0ncinJsXk8_fLOB2nUcINEKlfY4pp52qynTkaBP96o-1744194368-1.0.1.1-p7npgw_YcNPaC39k87NK.Q53Lb.uwfHvwxxL3as2QRI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>