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: '92e410e74d1c8de9',cH: 'BkHuTbbXJ3xIwhKnZkiZMEgZx50IUSrjOp8AVQS39dE-1744307211-1.2.1.1-TTHB52YmeqY3isszTfNudClNsYGhqV2G9nXC9cD9inoEa1wjElVW0Y4km1.yWbeu',cUPMDTk: "\/1145.90393?__cf_chl_tk=hM4HUN5jv4K4OYz2pvn6jm6X5_qRaW0r0lZvdTZLmU8-1744307211-1.0.1.1-UpjOSZfkPlYvD0L61BwjPR3RxbOGGjdfi2zMczqVHaI",cFPWv: 'b',cITimeS: '1744307211',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1145.90393?__cf_chl_f_tk=hM4HUN5jv4K4OYz2pvn6jm6X5_qRaW0r0lZvdTZLmU8-1744307211-1.0.1.1-UpjOSZfkPlYvD0L61BwjPR3RxbOGGjdfi2zMczqVHaI",md: "ja.UwcnGQZNhDFN_fqPb3.2arkw1HapHRZD2MzwFvBw-1744307211-1.2.1.1-6qa0MbzEwKF8eGJARlHKvGJvTK2ucPmRcxhXR3rlOvs.f4L5Sa9MzgPCgG9NAuiYmwcrkwtHnPb6RTQjuJXf4KCSifq_KhMygEQdUepH6KTl5CsgTfJLh1GebNj4kO418HhNOOpiwRfeI.4c8o790Boqkgd_FN55PzV48qOIAVQWKhSuIFQHVmXjQ0b9eW29zt1NKs4iNCxU.mC2g0otHcFttiYsZOD19FZvFHlZfQ6cj01XdHtJYu5AWy0pjE3VQpJ5IS5fo9uTcCCYjfhuAjUUiymtYZKAz1SMvyKDdcyIUC5oadbvziScz8fnFEkhBNKjL1wHj_4HWOXwr0GiSGFJHnWD86OB3ERC_FooDilACY1Ud7oOcbkEcx59bF1FmpAWBJOzXzNKH8Xalzf3ig6GUAnosL_a3SZVWwH7y3jtyy0pOzHht7QWQwy7xZrtMKk_DupyShaqXWv_rN3iMXPmNwK7Y8eDqLFhCpm0rIphygIu4nhxEWPN4_VZSaaEXQ4H9glBB.AWiZny3Esk.mowk9S1Q941eDFZwjU7TTR1iiaF1BSNd.NQzJ_DxokFTZ0B_nCOUPc8_D7CV5SPr2bCpFurBqo.YzEzMBvBw282SqyoY38zHD6u3Hxhxx5bc5iZuTBcxOjuJCH5QceUP_1k.wtKV3XCNG1J5MJFLo1jy3ustjgNOtiyJu6fQSZkTDaMQoryvoLnugocwKUyy7rJfHQ4yyta0QfPuqiAyPYv2GwOd4G_7IAgg2TT7qYrFUlmXfATtTifaJx7ADnR7gf1XIJKbiKoImSNerJ7H4JcGED272wHk1VBmk_27mW8PHibeOdOVP._EcuNyhKcxuuq56Ie6azwyYdEdC2.fsZrv73YDpdTvahJuI8bkE6z3wzkUEXIYNZMNme3NtICVA.coGu6OPZxozule.aOl9vY0861II8W2qfW3ak4PO1aoGKmtNN94unW8fpdKTZjezw6NDWuwjg7mAOFvw163wluzP.pawIqeoW5oFC.0ix0YU8Z9sTG5xUt00s32VE9r_v49hI6Tr8cSrEhrSITW1LIzr6eTCU4z08iq4scMB9PocUrdHkM0R23_LyZ03IfWitHy8ellKPiRGMpd8dWDFktHlfVHUWp0t_WEg0j2vljXcTOlTLqURmwQ2c47KFHzA6CYFqYxTHRQpnVHBlIodSk1RPrk0fUgcEFEw.8oZLj",mdrd: "_Otvp4WPUsvk_4d.3Iw9jeHmRXspOZQ3ONUCsoaiiVY-1744307211-1.2.1.1-q2a9dpv84Fmmn2W5VwcwhZg0mEL7Z4KIKOkmeX.uWVUpVfSe0Qb7H5u3A_W1Um6xUWEoDJp6TZdAE1OcKiTHqFqT932yrgQ6HsacytH2xYb0_1IkTEZnBervcCMIh4dB8W6Hsj09RM2YcOkAA07rsswCxA0pPAtO9.VGVs_jKODpEp92Sh9LX_S0Q_zyHq9c9AsmkP7ZYhg.5dhsGH6pULBcOSQ83mmx2t8M5uXMXRjodJaWHjibL35p5RQI4SeYfDPOexdkNvQSe1LttFSaoVqRqgefHstBlARDr7QyxQB_yplRiqgFq8RhpD3Rp8iTbM_as0IMOapNZ7Hb3e66AZe8tYafFQ2Bo2ZNhGDwI4uRmUuQ3DUBBTsgL87LhMGeqi_joxo3fC1kwU5sCO6Av_Xqh.Jk8xAu4z43sE0Fg35HiGWyumNEZZzj.tLS5mnsgvrgX.kkE19GFMrfpp3DmxWB75N3j63yhf3rBqFtGN0uPjWhnGN34wB5zF9Z1gJiVsFnM39x_ToVBYUrOejFAhPOcA_jyZTiZhJ4zMkcvcF11Bn0s99Qi9cseuCB1Qweus4dgPkuiKXPP445IikWMmRRxUEg_bU.65NHMi_q1NRebawoOaRqPJV6p4T2sDtEtqSLkWFwQGs05yZwdtLshw7uybaahR.x.mZl4dS7dPCCdTB3YnMCqftQPMlLOEo8IhXwSTRWlSYaGsm_5i7QrnlLBVQKhrXk5hez_6P07rmiJnucKEZuAnZxDX3GAdB9p5L9RSa9LesrGlZBGfrYb5CyuIQQdxB7ZIjanCQnk1y28CX3RrLayalVlTPT3eUTP5DoDzhb93UeiTb8sWGnGtpcLCpO2sluvbWgzevR3tUOqkgfSiVvt1EsjkTZRXA_1voGaXuyaFK0kZohFBG.8D5Ujl5ZWTbicKgQwTVcRttHXINgyd9CEF73iWJtLOKCtIrYUkos_bcqt6vSLi73NHHMizpC.S7_4.7bNoyxKZTfzuG_hYICGV.gx2tqg3YBY8b3dTsFj_8t0siAAFmCUpAe4gPcJLgGEWplq_VZ7k.5eKcej4J_BKT.eT9D2KxLOmngWC0Q7CyIlremR_t.BChAVV2yjEiNKQPkPDzhomDM_0wwXzoNFXitlwUL2Ls7YdWO04_O62JRm_N2cRHIlw2M_Sqd0TjLkaoBEEMqIjUDKgd9owlm8I5kavqVsfa5JsS.ikPidyEpl0WpHW9qLLu1ctEbeigYUsEQI0iBZ6p3guCtRp7pXxhkhHsw_ZkrkxRStjzE7PKf3nNxU1315G7fTe_rCdY.SUy4nBWXBBLbWm3opBD6bBxTshvUFwFeXa6QNKdgmpikQeU3X1x4HSnpJHrUOicH0QPQcgizCjaNNuEvSdGa6nyVRJbCpQ9IUW.QO0d58bBTXo6d0HWCTylZdAxzcd63de5vJ2kfB49rFJSjr8IvGV1xmTNTMuOPsI4Wv.ZaTAB5fIJuC_BXC4kLP1mMkpMf4WqhwmSD8fQEhOyOoevWh7MJanNpKoHG61uulV1ud9L8L4DYKSQH9.yUi8nPrYwPbLfjU1TljD6Hc1wrmGROS2BRCfphhY_lFL4_La3uSMpepYWyfIwiGFC8lOMLRgAweiRqn7Y1EOQc0ovKR6E3QBZdgKnjshiV4m8QF8ATdqkS0ug1J99CI6S4QJ86w_b3GMElR4Usw_SH_WtxRyc7picPwht2UfZP5XzAS4PpzvZQbTrqF5CnE.V.7dsD6XaKZ0jw1n.Ij0HO72WalZv7idJY8rWduHqb2QVZmgg54sHCMucJejmke8_Ny2xqQooG3EUB4ueBFAZZPSUAOZ7FIrXXNyNBfgcStSgj2YIVxaJKUhKB1cc4X3eIKzo9zpOQlH3JQhf3fX.yXCuCx5sOq6IRCfas2b0B8K6ai58eWu_PSqFvqLvObIrggyZa7pL640YJefNNniS6ZAz3ZxHDhDj4aIhGMDnkV7InuGRMN._coyen7kGAFuUb56PlXXDOT6Xuuq5P3wONSezr9zNCw3.X4bYSC6xo"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e410e74d1c8de9';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, "\/1145.90393?__cf_chl_rt_tk=hM4HUN5jv4K4OYz2pvn6jm6X5_qRaW0r0lZvdTZLmU8-1744307211-1.0.1.1-UpjOSZfkPlYvD0L61BwjPR3RxbOGGjdfi2zMczqVHaI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>