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: '92eac621afe1ff81',cH: 'P3awSyCdltb0Ppvxk8j6IM8CXtC9UeytLNkDTkrMR7A-1744377549-1.2.1.1-cG.44Pye9ZbtQAIAoTmElCu_G.VJT_GHF3plV53ryGZ_yrmWNwBDpOEQMaNhfgb7',cUPMDTk: "\/0447.28014?__cf_chl_tk=ICJUKfr0Zd2fMa5P4JqxjDojdpMXdhBPFQXa44PAYCw-1744377549-1.0.1.1-cVrFkOOkfOVD1CAvdclH7u5vgdLOga7i7PkdHog_Jb0",cFPWv: 'b',cITimeS: '1744377549',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0447.28014?__cf_chl_f_tk=ICJUKfr0Zd2fMa5P4JqxjDojdpMXdhBPFQXa44PAYCw-1744377549-1.0.1.1-cVrFkOOkfOVD1CAvdclH7u5vgdLOga7i7PkdHog_Jb0",md: "norCz96UC5u.3TkII7AEby0MWScGSfcJF153DBJ7Itk-1744377549-1.2.1.1-bm.lUYiZusQcx3C09ES9UyTZhDum_mhUhZl18896byCOPlV6ceS572KNRZjEDkGUjHOi3MkoL.YhgKN0CSuESQiAgsY3Je83L92qWnDQ94ZQ12dn7uUF6x2dYB3Zq98Ll4gXbapYdzJPe5QMsXJyNzXJhnsHvwQ5xWZSLrefGTQm_cViWlwF8_Yl4rj844rvnxb0hmEZuWH1Y9koN36SX8mGPFnEatOLW1rnFBUzdxiak7XOzDfC7ySOmz9_AsBHG2q0qVlEGGy4a2o3TWsBPjq1hOXDeWCoKiSwZSTBi9uBaNPHNyIuyqeZlmD4I02q_PE3Bu5A5e3k7FSq_wADGK8g6EGxQXq21et.hvqCHorRBj52wnUz2jUo23Ltc8USZAKxXIZPfm0V9K.pI59WMflmnLs3RkIQAk393ed4AeFxVWxSLSjtrj.A8m9TSeguHT3j.3LmoecE8VqIAPJX8BSUGow8JGxEkmK7q5g86OSZJWW4PwBAaGcLl0.jn.rrH3BBp9VXfjhMUq6Yxs6Poo9SdlQgCp.1d7IoKuEe30jF_b57_XKkCPYtrb6FLuMBhTS1RB.WCCHAnycJGMsX1VmgnAFLsSQBUri29BVxQXx.e1UdoMLYlrG534U8dGuaDPSaDBK_RGMoOwNtTFo6qgvQ.iQORFzYzNDIFRrcE2t2KRHuN8A5pbFiE6BsR4zUKprTrHQ3Ih624jNDuzaO8ecDrbTbNQcF4nLgp9g7tyaj0LJNgzzcBmwfCfeDZYpXt_Ju9W9PN42Hr3riniJLchnqi9m8YA2nvhKL.E4vYyQ9cqSejo458HLFVA9tKjQ39OGkkWY8Zdtv3gT3fZQ_on81Jyeif3FLcBvk5qc4tyvC9ZRv97BL51ohp_VyhCsgUZsBzHQs12.s501JztEnpoSSUy3tvGlB8u7LsYIMGZ8rFe3apr_apDWmvO50MZZxwJord86IFEmmaj4.etQ96w631ycVfIRfKHWV2P.5bdsukR_4iZ9Y4nhrEetWlmeJ8hIIV9rFyePLySuJL.NkIATxAy4XsTO_t3haQ_Ej0rZwVV4QqT0jg68fjhLT3YjA6Cntqxo0OhoNO3lwMizc6mkhiE1qRPlyXScvnYRAwn0hKoqMq2BBS63MohfU50Yi9qejEPoyDP8Doj7u.pW2eQMgSi9J9UdFbvP14W71ILye7U6chiV_3QjiqOfK30B3",mdrd: "R3drlF7rbK4b5F6IG1Y2gv3avpmq5UAQWL_Ycv68y4k-1744377549-1.2.1.1-gPXHrJ86xy6q_xrf4pvqwErWFBSMODHqR1.9H1BfcvOjteMIqJ7dpdXtus7HELj6osARuGbBSwymTBuEX1DX4olRwneP_zXKNyyNdCIvD.RG08M7UFIxnCb7Zfjo3JmhYaP2hCQ2Smxnsb9q6EsUGJtRAB1v5hgD35oPx34qetA1WEaxLjYSnGrV7QSINpJHEDkPgT86Q7dTADARZRKX6iMfRCR.CJ2bEjfvWWFSc2D87ZpZX5ks7Q7XTTLB3wWAeG2mRIsim..rIIH76eQTZkbc1rNXY3WwVek2vYD8JoBC3Y2gYlJFKCatBFh_IMzNsFleH6ZK6F5vMjxSPuXh4qBPTHfk0Of6R_ELAX5K4SnNEXGp3065geeVDUzP6Sj55Eqp5HtzE7KXTKjz1y73PlVTgTddQ_zQrzUUrvFNqh2b3meaKe83QXW4R2hulWZmXHk6Bfje9UTnqh0h18S4nqfXlP9yG69jyiUdUDwCe89ritqe5l8nUUxWpb_WgjuWNyPM1pE11kmrnXS70QYs8PLvvafw0n5ONMa9CoVskjIF1WlLqbk7liqfLf5pPRCD9b.llLotZYE9681cZkNgkQz54rk_mZhR0WMkyxy.rQmGtW2pNbKWonPe6WCJkcRXxLVpv.0LBl6eF8cGzUYeUvIsxSKR5PcRmH3DNnRgDrLLq145D6iNWVx9KMYffiyjitNGvuoM85_iEiKnZM8XNerAvj6dSSvo.8Kj_1oll2RCsfqz1X_oZeM9_ub7mvB.pSWcQxaX.A0hR6n53.isH.zIQS8mtbWQMB2SWiA_yN_fsIb5qtTZGEc1ubOTqIEjgwOwQ2DlExJN6KwAvwtlXgDC.eBZHhXr.MEmOnqiYAV9gFPInoGzDe_G5RZt9ZYCZ1ZCtgntQxPLB8fv6mFxVZnDjOj47v6vHlRlsbLXBI01ZfvrvFaQ7tptAY7hKo4lXlYEJGpeCJmUUlei51A66WUjyhoE1SWziPdQmPQK1N7pWMV0zpaVHWzuIa48X8zzXYIVuIuC9wdyZwfs752pP0N5lTvVvcHzZ6VZwEaHvHHYfNl_G6AhKgLvmkPxStSdIzHCuLGxZ0vdLaMJp..j7rvrFp9tnRYoxSjNjQ4QQIZfE.EGYY4NmyzfuZuex5y73xyTx3fduxyFlelN22dgV0zqio40.Wr4wq8leop7pgd4kJQ8xEunsouTblQEuGOZ2EiXOoH6bEZEPOCd_tRVdm0M7yr3rKWiQrRt2qDsRTIYvIMZuG5otuT7d8vGF.2EVxzHqaE_IKZZ77tkTDSzVzgx65bQgmcBqLTIW.0sihx7_bFNINJcoPLYKECBUq2YvO9DAVC035cbyCRVPS48BCDtsH.I9u_oMwZqs8EInWcVHhGujrL3jiXgxrJ0owTTnMS2VKHHWdjtwpDIbDUgu9mS9Q6oi3T.T5q8gjkIyM2aZoaKvLFQct0RoUmJ19_BJiF8.qkzQag42bMATDGPrwZeVuPzUGocj7COX5Us.fm2MyS6VnL9wNTyYL6sRFFcjVXs1KNKLsGX3cYVNcwiFBup372NBofjLntZq8_mHWpVsBhcRTwDf_YLpOFVQhjTM0TGfLz_mLN5mWYxfDmaWwA7GlewJ.hV.r8lsY.m4iqqmyg9y9CBuXAVYVMx8kEzqmND_6hITwmYRjI8EbvrRlpw9YP.HwaPRPTqK3FLcG6wCf_ri8gW.1K0_gx2z7IRT.LmtpQIFHHJ3nVT.UE2tzJKBfeW6t_xEIgTPVpvh9brtxvkI7PALJD2aoFHA2AwGH3hlgEMkQ05VqsezivSRNvYpt.s_bEOP2JoVdSFI7XtB0HZ8iTfAAh26dVsUkfDuEXHKa4kxg7JSoSsrTJZGE2eXgeYrYYN1QbM6zlz8u29tvfNO1hZ6BlCrN.6XoeDH0IgbumSRcTOqxxaIdZbuoK2CDFnWBgDgP.yW8wHDc7efhhPYoCGC2HiXuGkACm3J2qUnzPfXb.tNJ0_f7m4GcNbzIPrWAcae1DTqNobHHsbxZMbm6oMgaR48nUA5MnNvonnkHoPVFJgUGUcK4H7Fw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eac621afe1ff81';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, "\/0447.28014?__cf_chl_rt_tk=ICJUKfr0Zd2fMa5P4JqxjDojdpMXdhBPFQXa44PAYCw-1744377549-1.0.1.1-cVrFkOOkfOVD1CAvdclH7u5vgdLOga7i7PkdHog_Jb0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>