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: '92d678cfa8fd252c',cH: 'pugmEKMyy4CA92UK.X_3FrPfZurbwMLMSeHd5F3Aox8-1744164666-1.2.1.1-NKhi9PcWY94zK1Bzk617WLruddwndmI0oJVXCiVX26NG8Q_DPPpLrIX5IlL79B9W',cUPMDTk: "\/1179.28026?__cf_chl_tk=gcKUW9LQ5OZmZm_Z3LxRqpVdockVAKlyidgUFbo4wpE-1744164666-1.0.1.1-elHokebtpf51sHczLS8mvLagl4IsOZoNyWj2wtAE7mc",cFPWv: 'g',cITimeS: '1744164666',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1179.28026?__cf_chl_f_tk=gcKUW9LQ5OZmZm_Z3LxRqpVdockVAKlyidgUFbo4wpE-1744164666-1.0.1.1-elHokebtpf51sHczLS8mvLagl4IsOZoNyWj2wtAE7mc",md: "PEOFDbp1qnB_fxjQiIHv1n71QD0mUwvzjd4iDHqa5lw-1744164666-1.2.1.1-h0P9mkpNegdkvbOzLVFEShxR86NuTz5jaNbSt40WWnJYkAntav3.l36NjugHjPD4ml2nG4Sb6oL3kr86Usuj4j8C_gTrH2XKB__HA4kLmRDXfE4Gn.Kl2VliVJY97qESzWXX6wdrSQVhkEK6TKrIf08eog1PWtNipOpVw_QkqlBKNVlewGxPOKgXlkjt79WiGCC1jY3LUBvdZoLeZUQCKRu4lYnFtQUAqqq6YOdUJFWRW7gGDpqq860NeXJGgBMTdabVJsyH8OEp72ShJrO54Hn0l6_0bg0NANAXzuTU10JVBymrUc9gY1resOBugkDT8YO0UBgEXEj9S6QNbEdfHQsA.2EpMZ_cdoS3Dh0Q.yWSTlhq838B98J1KzUHkcM1R8.k95ZlC5WJKwNMbwqe8hKJmq0UGAOR4ueLwSaVs.d_U6cCOvEGck19xff8Vc3wxK4zTK4eIdVneEOLuyUfOYTiY5HaCg7P17Z.cMyLa7aECZVZhMiMi0V1ldVrsuN2uvaiq.xmdRs0FHf9icotTrkTxoj2IYRGJC9Z9Z4AA8cN8E3dSG1tFM_6AebUEPDMmem3NKDghsuMz3zbEPbm_BRol0QmPcWZvTddAotaFtSyzABUuH5nOTKZErZroGAFeLNW.pLrdsWxTQwEO4ryoJ_eooV8g416Ufh.jrxQ4.bWUcfMgTM630RTtzKvDiGE2nJ7Eyv_Pm7BquR0UC6LFEmPDhFMiPTz_H_0gT9MhxNmFj.v3eCbtljVjciM7xfPG3qT7xEIXtmzMYpxidtSjFtr.x5vdZZL23VyZOAIt3F5zc.IROCcKoikx7k3cfvtSR1jnV2KHUPdCIEsI0hvn72eRYGQksOD9yVT9YeyjGhI5gLoydsVj4SMNNxD0vVa3td34JLtB21ZlLxejJVDWSPmHn5b7Qar6gU0ILGBWsOAh_vFwc5AwSC6drLYTvOh6b2XQ6D54.nDJljH_tNvm0rPdRn4RdHTgCfRqVYVAEFYmztIOggToMcWzhKpxDpl7.ILMZPaejveWOeGm4XPrI8rdjwMYTPvfFScsGnr7112RGCGwsVP.Y.FeUYDKDgzbRm4XP5mJPGgh5CM5ZX.03EzswcBbPvO3aY18jg9MwwfiJI.6gct1l8nX4MMvRinMAAIUeFCqHjOAqINURf8QUZ334T0UORdeb7QVWUO.q2bHbcmZasT5oxVin5IdQNe",mdrd: "zfMiTyJ.kWuQ3DeSiNKGMfUW783hoMpeBO57zUz_Sqg-1744164666-1.2.1.1-LaPCHA0j81lZrk36ycDWufJijI1w2alUgZQI7gPKb4aLcTC_yMdEhcsSlp7F9LCvuFJkDCdcf4YnkFMbhL0YsauvK_1F027ReXz6i9ChpKHH94kynRg6_B9h0_O0tBaGSUwy_Y_avfa2oPkMBfq92A_IdT8Aci8OICf7F8wbUN77RIsfFdz40RtReDfNxTUZwHdtQePHtdBmG7Ikcz2IsRF.s0MsYKj7zZ90yeZDQCXhreZYrWfAwAK3HPzl_r6x6ckTHZ3fmqCHnHTEdvCS1WUwXE6gSn9eHtbL1CgIP_7AQHC9KgAI7RWCJrp9fk3sSgkIQBlKGbRwm08UaJuK9HUn7Px4d61CkBkA8gR0SBYt6bJV53gf7rzfx44KNEE_LlSmFZKjKSCjlGG5zadLhZL0nintnEpaKbMZIcpnf8JsAZ9VHh1zXodCn8Qu3KuH8pjJL16FDOjXQqyP1..PnkYfyv.1X2b9RPD8wuSzgBC039yDJwqOZqsXI3KYTpbOWitx39xI5havIdiZkGigj4PQt95O5hpBHzrj7gU9jMbUABXVNVYwr4Hej3vqFo6u9NEVfJ138QFAVTu_Cb8CIJqZv1v78uP.lc29g37NvhBLXLEuoLVQPJpt4UExtDx1mXygCniJS2FzbAJu13d1KzT_RIFiNy5vf6wxFVj.BV5Ic1VvfHmh3iPj0XQmrWi1g0_SrjWjDLGE.dLp4xnMM3Q5J.k2XUG39kRqqmTlxLlZc.NkmP.QA5fV3uFb0.f_uLp1JpUeeRsh9S5759r7gvLR7WuITDh2OXU.s.BvVxxXo9itStuHCTyr8MvDi7lekXS7B8no.DAXxyBExtIexCDydXBZX1B9SoC3EbD.adoqVPH_88mWKMA39M0ibm5tcOr9XeoaQqzVRa8Li.9dJLYNwOCy8PGu4F9Hl76Fovt08Y_RtpgFDJ2mp7KzJ97.9X6c0PBMUnE6Ecs62H2tJ8JLavf.T6NwQZvZUOyycKV8U_K6fUiThUP8RO5hLQKqzhUFOeJTUGUySiq41B0sINXHIeEXkSINwyLJu5ZGjsA1LtdLd_za75wHhh0aWKNHyeepu3E02Y6HrqqcFdd2150Xallq4dfAEpqwCCJY1rMqvVlp3eJ4WB_NuMvbVkuewYmDiGPr25T_eqBskEWah0jPQUIuOIOfdcG0zIxXc2z4Bvg1NgUdYI4BifIaoQXak_GRi1f_OVtJ6o8IW5MM6rbJ.MZ0775t7jO8vHdua3FbpmsU5_HhTEin8m09zy5fT890EKofTL7UAuuj34sw.QwLLCZ1I5XYOfSISw5SnS8TLiIxBTV8q2JA50emfrwM6DIZXmuMfUXkXpceOi2h7jIJF5d2O_oqAgQNNmfrSTe6qXPVso6e2.qycbivt56GeDan.uc0SquioqejpMm5h_lE37E0niLcdqvDhGOVmiag1IkAStOdZFhHFLXFBG8L5aFRh7P7BlXGzP4JS6.Rw8jRWtQ_TV1iFSCnZyFh3_VigtP5IAuitEUA62MjnINarqdMY8UOMipo33xhU7RYhT3lQzq8LYXeirhzuPTiwOQ.xc2B8krQnXm_IXZzWp3gbqN53uczAYMIWyN8M0VgM3AIhJvfxd7PbYPEB_zJZVPM0EYeBEk31qkB78QkjRkY_6np6286drHHO8jsJAqd1NaUcmZhUo7yRkrQHeWKdFh9JbZw3El7kC4qG5qBA8b8GOfuiLwjWtAiScmKDBC1ZOzteZC._xw8nzJZrv_2nX7r7yXiWq4PEggI2G6JWQinBFaFNJYQNoI5IXjOo3rkTVtWgfUz871VeCAHNbueeO6Ze_I6q3u051XcY5NBRvB6e5PhHEVXv9_0_lGOKCo_Z_zZDI6RjBaYZ.bkb56FPf0AIyaTPCAtUrIFYRWlgW2EZKCf122.q7HY0z17g1lhnLCMLQweRBpjnN3F3.drS0s6m_bcVLucrjyi.e2BIRZ4QXN.y9ByXLCwAcxzzZc53UKoHtbUY14gRx5Z.YhofpNpd_GjoyvIt2kk8M0nyMY0"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d678cfa8fd252c';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, "\/1179.28026?__cf_chl_rt_tk=gcKUW9LQ5OZmZm_Z3LxRqpVdockVAKlyidgUFbo4wpE-1744164666-1.0.1.1-elHokebtpf51sHczLS8mvLagl4IsOZoNyWj2wtAE7mc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>