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: '92d4be7dc903fe23',cH: 'UM18UIGzOEVc2QCbM2zDT8q0XrQtqZZm4tORMD9tUYI-1744146549-1.2.1.1-jizGGE6upd60x24YIi7Fg1E36C0B2SCtuxIcf1xwti4z15UbVxnpD6JBLaBCsQPN',cUPMDTk: "\/1059.74001?__cf_chl_tk=5tdv44BT0UKQoF40X38b3sGqWs.ZSmL87r0y4AXfU64-1744146549-1.0.1.1-Dv5mQONbDT.X240m5TYDe7fCxfZOZw9AC8qwiygW.t8",cFPWv: 'g',cITimeS: '1744146549',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1059.74001?__cf_chl_f_tk=5tdv44BT0UKQoF40X38b3sGqWs.ZSmL87r0y4AXfU64-1744146549-1.0.1.1-Dv5mQONbDT.X240m5TYDe7fCxfZOZw9AC8qwiygW.t8",md: "DQrg8uTUwNNWdMw.gSCYufCZ7jfJzWdXMG4oylVs_Zg-1744146549-1.2.1.1-TsEf0Bf1LbepGGbRqcPs8hwakcMRYUGxA7LAfMXmqm9rtHJYRFqBKcYLsB1xAvGWeqDDdVnx7ncb0Vay5rTV1otrAevo234x8ywt0_P7ySbgKMYYEtFJBC5wIiRxtAlJFHCWdwS783H2p0oGK1KLxKjg1WeYqRlBvBlOwGM2hq67tzbdqRdw8z39Pfai8WIARtkpBVF9ETUCHzHi2taLwTbi8umYbxaizVzuCY9EVOUEvRCL4DS64qcyMkn7xppf8BuFlgVjqBIhv6d3H3ay1R57.Xeh5Yv38GRn82iJybaFmHS6b46Rc4IJk5VvNpxbfu25HDKfCm6vWkPK2KT.5.nRkSogf5OPN49R4tGLXs7NUX7iTJ_hBQKpeSqmZge3oPcVp5y_aYs7LCfXwe_S..GVpHswne5ZE2xWTJSSyKKNT.6d6pUAb5ByLalPTErcYD2G01IEm.CGgIjh5qr6WCLIZKG9_KNrQFmDH8zD85P..W_PvYyoi9AwCEY8AYYd.Ur8epxeUEyQDlGZlV8bfA.IndjOfnF_W0UGMvaKIa0GiXnA2TBGMjt80jtckzjqBExHhm.lwSw.a6I2AbRu6Ba3g15UTmhPiaf8Dk7hLZzWBdbES1b3WFl34OEIk.6mazB0wQz270MbygWPp3vrE4KvAZnHhTZO0QRRb3X06A7e0jT_m0asAeqPkQQVJ5ZZpebHovSr6XyZBL82MczjZILk305cuLBmq6JGbtzO8ej6jusVg7gQeLQzPO.w9wOdXx.MoDqOjWMnOXaG67tPmhbq2XZCZVa7CK4HPbjkrvFpWj.npdXHgG4el61d_J7wubdbZrLgTL6iPnSxs_nD6y_A99VXfZ0YEOtHJS6RXsOkPP_iAheTOwsLwtUkpqBsm1v4GYjassOSgr0gfn.AI3YJu2NWb4pKA1mnlpdxRLl9NbbTHZM5PdgqUXJOv_N_98nov3sUTr.JEKnbiwUHvvQ4eN08I_xdQiWGfk6aw5TjJvo9cnBb2hpkzT4d0_V2MLQTQPvRFgGPoRn3vp1OeSwd3MRK0kbiKHJI3VUlkTSfOVgFi3GKaAu_IrHPMw8xRWIsyt2Mf69PIY0Pdt9B9huof0IHKhAKnPsJja88L9rnIa_0FEs5v7q7zvzpJ6xgTMTNSettcePhfxyoPGFX.oCsOi3A2bB7caWJPHqWur7oviZayScBvBzS2nH7sxcz",mdrd: "hmM5t1hxcp7z6jevBbLB29EVLo4qllgfKakHqByv4Hg-1744146549-1.2.1.1-obPFyjd9CdtehW_kiE187y8JFz4nzMLE2O0MSU7nEMKlokElSYceVQo5POObx0H.wFWIhgI4gvQEcOdK4Ec14Xd2g0euK0Mh_5CmqNVjjB5cyUMlmzjurYQI_b2SO__RrFacQ_f6gXjXGVv0xgHxDqMKduxZtioHV9mEtyndQ9KDTGqt8dTGQGJFialJ0UiTdrWtFHl7SIujLAaPUW8S9fQ.HSIgzxEE6hPsXtwY_OHnGa5ZYx2EpENODSyTcudctb9Oz4rEZMW47TsJnvsUmJzLotLuFWXhGM2Ve4Ue.DaDbrRp7fvylrIbU55A9pINFubCCiNBIRZNTooGdKiOO8ZEzqUWdVpqTBYjGWscxylMMzITzObk5CAga9ab5n9Ep7ySmoBRO2wtxLM_eB.qjAgfaH6EhbHJ8ZVVh9.rmx1Pr00KGh3GN6Im5yFeOuhKXLI0b_1bmot5LWOtGb8paXD3ny4DZh9sqCsLMr3LyLMeUoWCSdUjWpR69vNtnEYqLhZPjRYiA4GDhbCsC5hD9bixhN4ucNA6IbGItPMDmxQvQXHGsPoG3aqsEvbWIs95lyXAJ_tCgq0OumMGzUDU_ehwe0Rw2uRx.wdPerOYPLZ00tXiHoFFJn.QMCfc8LJBtp1xPjTr82si1Mqkcfh3zat2GviFUVvpe6d.5XiRZe5cYRr6uUbkA2tMTs8vx1TGKorsFCtS65OLYE_qE.btpJFgih8URP.fZikJ5db.Q.4IRNDgjmxATj8gCSkVOcm6WOb8lKH2gqUgBLMeQcpeGrqmNXbm0fqb8RA6.ltBjz8PyTM9V2k0InVyHlbPuo5yiRs0NDgzzSPjm6cTJXDTU7z5xOebO1FB1xvZcA0HyS20knQEtizJojtXJZvAKF90veZlTobtAGssAZxiWVdnUgqoEckTPHWd7GiYdiFSsHIzTzm84fIcMVlxnnAfXclFFZFPHGU0TT.zN_GdPJm4l..zedheS9J_oUy4EsnxdCjHr8arq9GDCdlQtekV3SJ4ORSqtdkJBYx2eiez.FnheTYh0NCVIjKzXmpU2taRTV5qldzEl1begxk9YAw3EcKgq2Pt5XkaMCqtGI2SycGGRzHIZNAxXaCUjHLtkIF1_pc0MSYhDNYaAylaepBDREvaOiu.u.kIQWbXfgkD6Zq.XA6g0cvSEq8.DjeqVZIAjj_Qx3OLETLEzJAsi_AgJmGNT_mrTDtXKActi7MHF6yUpGZ4kyVUsWppWPpF02wVGauoz4AW7LQzhZhOyOuWIpmwChhB1ws0cTzSPui2EKf8DTVgeC2jgoBZTW5iiYIr_bjfL_f4qlGD8EPhbhJqzYTS_IhNAMYS8Q8R6FM.igCpV2T9YpJUNO_G0vFbMBlZOMXXzYkn1WIv7acUMmX9gOpdFoha2Y0N.WikhHiXVvhhqG7t2VLM3jkgkDHpmWOyRJyaCZ_0rhS8wpb3mxb64s_ORjBG4atHi7EbN7_i7opNRxDB8MM7DX7LZ9YMVuHXVNzT29xpjUXLEn_jOwp0XAAyRqtdEIZIGAODC_iFKJXvRqwppVAkwVwuRYKTK.lk9ZFBKDAT9yUR8YPg9cVPg27N82InmdG2oSM4Rp9Uirth2W9hwM7w24tju_xqeuTHMigKOnGz9WaRoNWQWgmogVo.kcprEy4Yk9XvyUf9U2yWsaw9YM_Q_h10mPRmL.7kzHc9S9fAdpCHm3MPXcSOv7Uvgkp4YUExliSCVgvnbq8wMHFHn.xonUQk3AibZfcWKjKJLwozuA3h3iRt0nUO_6RIzd.ZUFJTBah9QKhzYYfwpZ_qsdKiBefg6DpUzuZkOGcYwUANAmauGdZ6gSIgJaxlvUEPVr8BAluMQtt5sq4wnWZbfoTNeQwFyvCL2FJeW6YthaVoofhgXACIaTkzY_iY.MgynrsEGh7R0yYOeUJbUQ3ZkbtNfMxixTCXxbpvmqIH8koxX1eozAPQZdpK4NnGY02m5JKEH9O.6JaSQMaBNsr2zXOkSk1DvcDdktzRe5uyoR61PjVKA0v.QMKEZiTwrQocPg3OkCR2QpI5PBEBmg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4be7dc903fe23';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, "\/1059.74001?__cf_chl_rt_tk=5tdv44BT0UKQoF40X38b3sGqWs.ZSmL87r0y4AXfU64-1744146549-1.0.1.1-Dv5mQONbDT.X240m5TYDe7fCxfZOZw9AC8qwiygW.t8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>