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: '92d99b0afced882c',cH: 'sFqMZRxwWCzpd0UCXaIzO83B.ueywEftB6Ohf4SuPfs-1744197526-1.2.1.1-uKNR.ZNn91sgHh5AjR7SUMTcm.FXgGgNHb.Enb0mDb206RpiqE2WEY_e9V4XN_9B',cUPMDTk: "\/?q=in%3A432316&__cf_chl_tk=S9tCKXLihAtvlIVAVfJ1h9m6cUyQXVmdS6ZIR8tMh9Y-1744197526-1.0.1.1-ThNYqb9KuU2qoEh.5xhy3vV7fevTCCQ7Npc0WpJ6j7I",cFPWv: 'g',cITimeS: '1744197526',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=in%3A432316&__cf_chl_f_tk=S9tCKXLihAtvlIVAVfJ1h9m6cUyQXVmdS6ZIR8tMh9Y-1744197526-1.0.1.1-ThNYqb9KuU2qoEh.5xhy3vV7fevTCCQ7Npc0WpJ6j7I",md: "xOodCYCGWy3LT7X7FqMKxJRlOJFJUKHM8zynod4WNmA-1744197526-1.2.1.1-95UzC3bOi1pvPzK2b3oYwO.2Gxzm2fY3kNKZw.bDrf5CVSPO8eC3NbSgee4SGArDfMp.WnaSUDUN6KB1ffjmxXFdYMTKRUhkTIuQ2hCov2ymTdcfprxyjTbFSfmHcI9qlFK7GWp3PFAKbsTJhTaSy27GrgJbHMveS_dJRJDTUL0XTqN9TnDa0c01bHB_LUCKFm9AumGR41MwegtFOQdhelMh1mMf2ThWiPT69Z8xhnqT5FOf11yih.Uzr3ze.E4gdnVCqrcO8YdqJA0F3ZR_oebTZOj.s8ChcXcG2ptkYLAvKE6gyUVoa9SVGUdkcw6UwhACxyUWlIeeHRa85Afz1kQ4H1qV0Kedy_Z.U88vaJCcljdP97qIo59KpqNvIiZI1iDMR5jUjPkgmBLK7k8xTT2B985SDZwBRPHenbhaA.OQAPRtidlL0pSLGfTNp_njSB.IRmHujd16gPfNFXWkoTdUl8AQZvx6_WWzZMIZhkQiDAOcZ83KvxR7j3xBS9ma6hBfiEhUKQshVmQ9XdNDU1LkyGBrEe54rJmKyBBffiV0kZwQglnfG_IDuGY43Fi6ZcfBsFgGSQ636vwSL04LAvSfzXS2EHDTBqnmS83eYS_3rVtULVAoaClddf72oekNzc0AWX9dVECrZMwAW3XBJodbttCZpV2ph.K_sRsSCSs_QJ3i7pyay8CarW5L9DUSWC3bam9N3409dYHVWmT1xpGEtKI260KZAh2F74Ma_pj4FFWDa8EieHKLDF9ESHhE92fL2ce1IqCbcbtMqHztJZQHY13Y3ECa2t4HEK3JNPSgjiJNz4w7UO_13ghc5mcm6nlLLPQWAqL75W5ATiKA.C5D30mK5PdbGnTG_Jt0iGELBVWiX4ZDhYqm171z36LvJFm21zEjFpPnRQIsSZcGGTqcjvpgY8B_CYWkeZ9abjzq3xb44auqL7xICrn06.tJSyM17jvqtpxV.tAaGDnsBF7Z3H9RVsJ7SbSjQjYDE64paRNzPq6LMfGDRgsrDip3QFa16H7.AhhIfcqZYc4s5lrnzYXLIYDbcu3.N64PW.Bzt0FdD2uC8lvL.Wu1ilTHNADCJBf9ihazDmB1upPzmRaPN4m18EyP2EkEd3JjD7aBzstRnputaghwHIpH3vuEWNYYrQuN1sNeecdzpairGQDKhfcguPRrEJsnaTJ61x9RdxNbwB5SiMTyhHmZFQw7",mdrd: "pKZ1B49Te.ySO0GwD3hR5VmZMUv7VpxukfaR_B_ymbw-1744197526-1.2.1.1-Vr7yIZHd6hyiarb738Yg8A5HtXighyjCgsM618JsqOH5KyInR.mdmVO0IwQvh8VO77VCyOvZEBwvG8KlNbUp3hxKW.wJ0V0MB9MHLSzRspLY_TU0isJ6ImQg9HGYQsUONm67nIje0Fzu4ubDGkuC5xzfXeqBmzTlUF4toNOA4YQnRcD1.rQr.egxh80KnrQCZtCZNMx83sqyFhQkP6iGUmoU8C4E3MdlF1wsl1n67OnUbrUeg.9IvQnmRVFu9xNzzBG0UCwY3yeckjJtq7D9DJ8w.TD01LgArKSLEJnZxljwJKLmaAV14y1iVCXynu4kAMubxwMyUgSyUb7D7AS3m.BVjY.F.DKRX2SFqWEcdvRWmOIWGc2yjEu_DLJT6ufoTL58OA6WPfH_jxYKsffYM9I5aj1_yACkxo3D16Ue4b7.Hy.gZX_PUTXbi..iZqMOvnVQGPH_CRL776SJycyQYpRt7flCy2xeDVkH_HOh39ctgTeIGtqzrOqhEuBLGz0I6W31T1Qt7q4bCOVyRTnyZdqlTt1RSSfXaThgS6Y2JxP.6hax0y8EkcVNSL95GEXBfjIlfiSI_9xg.oKWq0xD_PXlkUad9GeH19K.__D1f1iYolOtO31vfwH7kI4fu.qhIr0qRq7PnPelmP.rWXn.KWE92ypgf6uuMcgYXmMJFqEZ0rWnHDMO0Pulm1SnTx.OkdqrlJo26gfLYY3naemBWu1JVo6iDZ5f45kGfZtcfFpWSqKuoOm5q8WIrdasc_ASTsY0opEv2kQmMi.6Sg8XDfKWYusw1R4hSXdREmZI93oCa7is50OlSlCWaM1Zo6q9hfRUbtB9SJjNFOpWqiZCXSOiMALpaX7hT5fKGBtMoFOrr4sJ7dSD4uCh20HF3yK4RBvNU0E8rNUXECZ6NItnKALjK9D3k3v7W3Uhlb.2UzRxxjZ88jWGOTdqcza3in6fd.nbv7H3jDuo1TTTl4jIL1gOcOFHO.5sAI.r_tYoAmKerN9i0H2zKyncMsNXZzgg8dyEs_F6kO2B1.BnkmM8nzDFMUbnB66yGvp81GjP3M1TOLOY1y070n05I9wnYBzLztfma1jIigVPjWpal6yUt9qQDDblLrZ7cpCHxKJV4mrwxlVWTvfY1wevY9WkSqyvmcSzGo1xrsriyD6oG1Q7JuhSdGP.BnNYntg9gO7fseYA6sGT_p_BVA4rtJ7aTicnX9vwHg715Q8ptVi3VSLNybG5xSIOr.MVWTOwKZKmvXViD6vCES.ka9gp8wO5uRkyT3l7rNRQZ_OqO7w4dzuSpCguaaSwioM4iD5MNz0gJeLKbs0wFby34l9XUYHkwcPb1HkZMETzWAt9.03foQvSlgxD.x.twAnbadTl.w2tXmR8j7M_b0TW4LQpSChIg85OnCY6n7bQDZPgZY7qwZsZTsCDsISdFroAGdDfUyG1te8vKEQHbpPAvjYb5CtbIixgmys_jIqYSkCZQblSj97JGN6KlRMOg03jvDqzG8hGfw8O27gJ5kIN7EJ8cfoOFAaSe1F8IROk1a8BB_rrg5tse7OVA8UM6QOqRK5nl.JM7_beB2YZbhMrgv3lUvk4AH1feRbk1YjaK7FXcrw0d8lVaDPv7NvIZijK6f0VAf0NXTynYQFbwhvezO7RhkygwpsRkqDKRb56oRuwTIGn_zJ3QFCnVWm_qLYhUXGqooNEqRvGadiQhVtlXmts.cSQmCcD0Gi3IfZlbBagPEQGVwlR0TUDxOHE7pnbE9MHN.mxQgfddUMkp8GD2TX8iKkRzB5lpmpKsAQIGlitNu2aXFUkWWmskF8oqPSqSXNwqm6tOxlGTe3qll.mzmLRkPV5JhIu6.gM_ZVlpMVFThJpXAnW1pV7BE2AbfSFE_veBdR8bgIPtraynOqpVQJFr5mY1Y8.soEQssgkN1OMujyLIaqECyG6sFzqgVjDIhyB_Vazq9ESW3o_RObn3lrtziL_cCGOOXUt5uDLNp6e8WyOPAAzBBSadPbtkgsuH3FncxeXAo3d5xnL.gZqugWdhj0t4mhEr8pbFYwdby1_lTd4QQRUXQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d99b0afced882c';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, "\/?q=in%3A432316&__cf_chl_rt_tk=S9tCKXLihAtvlIVAVfJ1h9m6cUyQXVmdS6ZIR8tMh9Y-1744197526-1.0.1.1-ThNYqb9KuU2qoEh.5xhy3vV7fevTCCQ7Npc0WpJ6j7I" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>