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: '92d3f4815e35cde1',cH: 'YuRPbv.oOs56aIIQU1DcOF7Yx6YiSbG3IgkHi3jw.ik-1744138276-1.2.1.1-O2nQU1jmDKFAOdhLF4L19N_S5smOZSf._RDU42dFLQtSzlwur8QZpOu05jRBr3wl',cUPMDTk: "\/0747.62061?__cf_chl_tk=Zzy7i4uMDc0bb2gZ9k9bXNekqhjg4HoyFtWPrPZVgm8-1744138276-1.0.1.1-qOgv3LyYfuUGPeo58ZjawqShba0TcB1.5LdTv7rV0fg",cFPWv: 'g',cITimeS: '1744138276',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0747.62061?__cf_chl_f_tk=Zzy7i4uMDc0bb2gZ9k9bXNekqhjg4HoyFtWPrPZVgm8-1744138276-1.0.1.1-qOgv3LyYfuUGPeo58ZjawqShba0TcB1.5LdTv7rV0fg",md: "MCcSUTDvq.I59.dh2SNZNHhVinSkUp3VeedATrBOagw-1744138276-1.2.1.1-_nHRFnuGoDwwmGpoyyfQGUcLEG531uO.ch0gQPSB48s0h7Jrp9HS99lR4XH1CKPxNS.ab9Xuzv_BOBUDTzB89G5t.d9XrBH2VZmnyGfWPWTqwiukK2SYiCiIkGGtx9Zcp5lePs0H3KdmbDqmOCIfv8kJVb2Do2etskE.FMp9VrtJF.NfI5DAwSQ14ReunIu.ckrhmn36sdhFeeMv6xU.zPLKC0lXi7JXAu7qwz8nXFdRUbQMekDNtydcLU6LhMph5KGvQzMLb3qLcTyvryDzHk5APxOS7jAOcnk.9fn7xwuSTPi3cl3AF2YJnr88Ov_ZlMJ0xxcs6aRa7HRJqbAEdLXQhN2_niTTRZlh5V3H_ASitNzgXnl4c4DqJPpC6kebLzU3jGk0rAfCsDkffFjyOEwq6xgy3p7UGNfp_Wt8JaVwiNmTMCq_BZpBrUDNt2wgLcXB7cogsccIPLIe_FA2YT1fn7Z5EPtTCqBdFPNx6TYz7sEFbadmqH6G2TO7sVlLEOF94yxqjzM9VzsStPehzJcUoNzV1o42VTqdmrcl9cvrvZryMk3ZfRCJ4uJFUBd9IeyzJSTV52jrACI755PMS0XlByWManYHbtB.lx0kXus_6Jjb8igR_m3zsd.wDFvEB0n9BGtsckn6AmQBFnZBzMnz8ob2cLjiO.B8.tTXl5FEKhWR39qyHMA4HMaA6HxeLmVdmD1PAFhMPmgCkFkDdMIJDw3v.JwlpOmkgQ9DC6LqH2nVTv4HZklAnuXlXFSoxVqFGJyaCSsBZa1bxnxowFy27l5vG5F47odjuZp1GNU9XhUHjvWHAqOSAUnBObMpRS3SmipZ1GHdU4cTXoCq_WlIMcKN1.uSc5mBcTBeqviz8hBt2HUWmut_l6ue59rKDkeAwyRRmREWLK4HZGKgMWIxBKvUS40mCyag31lMf7F8fhe4XPTj2zx1yRB2hIiepL87XyHvnGzZOuV3jrnk_wzDcAby0Edxi2KfjtaTGAN_40l5YTef4EwOzpkdS6XvD9tvmnBAB43GQAyNy2TWZM620si5swPmp9CC78.Xh4oUB.Xnh_RHAtPA1OZq08huXbe6XVDBg.RFF9iJm4Xr6dqC0jp.ZkxK1K3zYVeoCW8IaAYgMmYi3tOLaxp3C4JVlGeMCfzH3D9U2g6wt1NiUfqI8_4Bkris76HNVRdt_kr2IaxshlX6rv.sy4fBrb3g",mdrd: "LrHV_AloIaj7A4uhdFonrrp4.uoq1Ozjx2uoUgtiNVg-1744138276-1.2.1.1-23pgVAhky63rhyOvGCxR5ACWH1mwVRXvB5SI7OTf0vT1X3gikNrCs7zoMZ46gz5HSg5ZnVri71Kf9yGbFX7PV9p8GIyiuWNLdQF8ItoQJTJzoYqjrHhNt1ZK_0AXo0JQoJtrHpwAB34jYa1RUlUnIDyZfxShp1qcmwlpVmALYHYeWLISAiwZwk3fmssLe0ri6.PYDTcp5ZtjWLxi5MBYMxAbYF9hXf5QiT61.NivNOS2w7VNgWzR3AB1txo_lSHzrvHt8OJw4Gjv.nEktEFbjxiPgfYgwwTJfQoqFnPBENfDQbIgvy8vIb8AzHvpw_42K.SOWVGFvDBbWIckWdMG6iZZkoIGmLjziRBFRo0oCQcL4vrmt2AX35JXEvhFWco1m3QKptaTTd2zcHNSvf5oBgmgse7sCE1OdoMcW.If3yooTNzpzzbsTrIG9vKqpF4VyXbuNU3tk1EyRF34rGsDI5h4dVVho5_qBLj8iVePP0.0z7x6O1AMesqCmxBKFgtBEjrBonSl48UoT1nKushOevZJLYt70BGJOjEMyLBXsmPea9OKC4IjLaZicOo1LTPnXXxUbGIDAynMkFkjLjQ_qrachqzlvqDFfVtAtbKDy93cGImKnh4K7SqWlRV6_6KZV7RK9jgMESPwtkz0gGGdpaI9EDzAT5JchXx7z8gsbdfMIfuA2XyzTu5kXnk.ZfTpsh6N9tCpPfk1QnNk_gb9F4T3ocbQi7t1LWQKejqVd9d6.YrAf_8G82tJLOqCjhqYGYSifQt9YevJW6SqwXxtKAQi_xv1WsErKlrtK8pw1J.i3IacGm.YNYom5uecSQf5HoDzp_RFSZZk8jLpQ4fk8ydw_Y5_EhDncVcXLjsPQOAfBSvvsHjFol.NK.6BozM4iMKJe1maTJCfLd9i34yef.hAsZaLs5Zsmtq2p2nOQJsLVjMrFyyu97LuTMe6Hn8oRq24doXKvqLKvbt_lJB7S2gmCSa6lDWPN0.VSfpQsTocIkoWgMFj8.KSFPhSPl0uU8F64548wxPMWPZ.5T.bQAqE3jQr55vXvCO8TwQ4QBY9OYyOcnE24nNp40teAI1qrv5T3U1.cAEng7cK5euK3kt.t3Klv0yg3qk53W2dbcPlw1E7EPcniDJVCwLA9xlEbiiw5ctyQAbiXuyHWEAYXo7lP4M.ppJgEuRiz5KeqKXF.uJzeMOoJadOEld5wuFC5UPRqFTvk96N_U_BjOmcVjXOHy4e_1xZBbrR46dyYOODL50IrWBpI1.R7cdZ1tkrq2JjMkxPXWlBkXutlTHCCTebAE4O9av_xoPLl7auz7oX0X1vfRF3elMb5W5xom7cESmVfkeNINLAHrpEr1ca5fMZawkMuvx71TkTJPaxnRzl3C_SQ7nuuSZtEUFW0GJ_HRFyYfoBqj7LGaVQd3U60KHShGvsk9AXzEOhu8LYUat6RM3sdBzDlGcm63let1TiYbUneY4gpR1BrJnLCFhtz9KpIXAeSPhMLc6NzcenqNPUV59grrXUQefBT60kKCKaxaUNcfW8SdyISnlTB7yy1tM.LmO9vT.6Mq2F3uXvEvRuy6Y12BVXVPHNxfNKDWvnMVFBeECKz.FJ4WP3wokJCIdpfylZ8IIek7DBkBmbPrK7V14GqpcmFnSpuJNKxVOdag5YJnbnWYA.fHCYqU3kF32.uSzbcFLm4u6pdWUz0pIpaPmLuGyZoymigz43Nb45YFgQfmSH2br6CpJuzK.L2b3khMBoRFzH4uhVMJoWrPgpGGnjB6BVKagHn68hhzr9J0YLUCzri1Zvqgs1kYhqnAmYneHzVaEh.nWNqxUV9pFfJJtq2NvYeXK7XCHyFF4A49eaGpGv9alIPrMWgn5WCC1Z0xwMnzmfCZJJZxC2Zqe5RJYKfOfS8_bwMkuZEh4.l7LyRaNr49qouFUtguqGU1E_MSnES2qbyH6EVGb0hMM2ftWlh29vZ1xrxMnEVZBzWe.DlFD4.o.ki7oLyK4DQbB1e3Lk.HoeyMNn_BJtV3qxjwj7Jw79v4X6rIMFClCQNa5fxOKV5O8Nq.b0mPt45w"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3f4815e35cde1';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, "\/0747.62061?__cf_chl_rt_tk=Zzy7i4uMDc0bb2gZ9k9bXNekqhjg4HoyFtWPrPZVgm8-1744138276-1.0.1.1-qOgv3LyYfuUGPeo58ZjawqShba0TcB1.5LdTv7rV0fg" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>