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: '92e63ad009fb1184',cH: 'UlXjBMlTpt_Zl46re6HQiV3bi2KF7SEsUASOHxL9RVc-1744329899-1.2.1.1-VSZHMrfK5naHZP.qTmVa_E1nD_0BgsUhzf6gER0Hj6cO_vpuGY5nUnTI8UcCgYqP',cUPMDTk: "\/1529.83043?__cf_chl_tk=D8TYurCSp5dRTgGZKS98Oud6.ogQgqaoTUgz01P5Drk-1744329899-1.0.1.1-ZLyaimpZdvEN950WZJdsb5ZcmkgHs.zKp3hmGDkdOB0",cFPWv: 'b',cITimeS: '1744329899',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1529.83043?__cf_chl_f_tk=D8TYurCSp5dRTgGZKS98Oud6.ogQgqaoTUgz01P5Drk-1744329899-1.0.1.1-ZLyaimpZdvEN950WZJdsb5ZcmkgHs.zKp3hmGDkdOB0",md: "TCb1GkAkF3QO2FNhOKlIC9aE54YfpsscZPQTySPyrik-1744329899-1.2.1.1-NSp4nu7BeHuJpq.GP9ToayMRMBN1erwNRKuXU6hM1SfvQAkmAgHSURSCT5p5UhxhQtlGaetRRZbNMMp_mXDoAtUcYVQ2q5zsfTo.HcM1jAUBF2IcbMy1tXkeEXrwv6MBr103BNYeYX33LHnY6095JGwC7IMH0PIB691bTw8ma3iQP4dzOAZimF3iCuYNW9YzWrf8rFTajRt01NE8Eb.EyOmQqVkerSmWydFRsk5uALK7.ufDvBYSggO77yX32lN5xrHIHq9oHscKCwGhu54NEnNQJqiGtsse04WfL12QkSiTnRhPfB2puPNHz2Kobhi8LbFKuOpOvn8g19VwcWqAbR1ur.qMHwhP9h.VIOxeOUMaOUr8WHLkkuyfZBkJU5u6eXNW1kaKuUXq2kIAg.IQbPTM3UmSa0HPTHoq1mPE4.dOjr4AhZcHxAFpv_csxX5CeVNh0E.tXu_BT9ypcgGOJmhZN3zNQiHQVbsZcQ5wzs__Pikfjwnm1goNc8Kqme0sZRtjFcj.9hkg3NgO7l1UECrG7C1K98YJICwhuZmTi_JUUv2__Ovvqnl0SkrqFqTze_EDCNY39LSPw6zLX3XjzIBUJsfyOUvV.zaD50Cy.LQpQr0zxJ0OYN3zUjlGeHrHzEJG5_vyv6JYIElHo2YPUzpo1W2vtp2MU5zt2OcidGfo8cBUudTHL5nSSNY4M8X21by0qvIhh2wLalHu_4ySrC14Be6lxh9qLc5mlLuD_72XRjD0yC7AV7BgyLs72yd8qUt6D_O9WD.xtbwYIUxLFsRh.JA1ApymA_6s0v7CdIvdBtYDeDR0MTZVHEnZL.klO9EXzBRPZdXYurwDsrCTdqfJ.bLL7mez0FrcLi_rqcL7cn2WL4FdkHLBt76c_iqEB2yqD_3Kt66bXsa6kKMnyiKMTR42kuX4znCLEtB77ensrx1bDKYo5xOuYkR88KUDXaqA6mZb0D9h_DImVnlRFJcuNp6heEJAE5tsnA0yqS4Ea2Rizany5nGIW.IA3ebmLWYPe8KSeTGkRlQSHq8qFrz9u25n25fFClaZp.lMrQBQDNjs_C5_BV_O7YV_DCKNwM.2NuyatSZarKjdXjJJn3HdYbX0kLN1cE3JPELnhgt9XOTr5mmd7r19U6cecU03O7pqTw8zmSPk9yG1cBs5PonS61J8G3Y1dLeCLdBFOn2wA4jjBVz3hJfqyWlygf0j",mdrd: "fm1kdI3VGLRKyHZfvhVA353H4iW6TU_f0h2iTg5w.I0-1744329899-1.2.1.1-kBapF4LvgRxxZGWa0NcxRZR0QgrNmcZZ1P0CV.LKoPdri3EFEFLkPZz3LkHx7vfFBqY1ntWW0yX.bu0VN16qsHcHQ97msuOrtLNa14dmc0iFdb1oxKrGFUqLSrBbQR4.79XpIp0be9BVBSV2kQhgFSH5i37nL7rTqRHlO8KEzBCK1AS05fMxgf4b8ehOam8zl2qEd_Sok_xcA8ZJhSbS.ZyTgxIe6NNYcPi9jk1AXsTrAzWa99bFk6XGqlFEBMoUTfZkMJml7lIouy5dCx6q4r5eLLYvMgnKVKGVOBQRj.hw5awq8ycdsOMU7NRgB47gzuagJJZivalKtzyhrbCA_AGUXoVJ7BXFm5oiwYiGnJxctLJQBqfCnqNXs3HYZdTuOHSLHPpeLYDUD2RgmDc76a0dBhmdUDvXgOCQAhp5CJ8_29DNLjd5wE7wb7D_W5JjSWfIkrxQldu_C0MrRYkbUoBdGTzF5j.qItGeD3kq2VzIIMAhlOAWmZG5B7PQsT1iVKr5OJYdRkvTcTSXrtqvTx4y9wwZCEiREJijuBCtRTyKodvWvqWd0fyllyIY3GLWFgW22P6NmmVEw4TKBRsADCP1iq7mDd7NJrMG4jwcigJR.xUKATUVPJfEU1ZO5R_woQzzoTdQCHMtjDNkWNGbVwtGBnoiV8g9UejITbBgLEOSSafsrW8aW15sFVgEBxWLzq90SdW5ZEfuo7lr4V0GQakur0LhG8XuAuLbLyeRvV2f0RfnxGHSyKNQfhCrdjNQbpeRa8ThJQWjrmjwG5HrQU1hmMIRt6Y_XwDZbc0YauXyvdAtWQcvRTOBjHB_z8hT29L5kZphM_BB22rGhvDkDlGegoGelNm72.ITfz1kXKZdrTdvzxGQ_KEu_8LV8W5MvmbSnzGT85abG2rWNPsRUlsTltmhkCDSAhxyL6PV9YyCQSk0W7JZ7erudDBjuUOP25RVm6yBomrV_V7bV6ug4_sEafqRIqzEeplp3mJy9n7c3_Gsf.8btSdGcIaLwSZmh3dd1nVVYZiXA_kuNWiIIrm..y4P7rAJdrUEcs09iNX3UOr68Ui3tvnYw5xpuKsEh.rdsDdUIvWpXyVJP9eU6UBBY5bq3p6zNmqCzAqaNzwo8remAfaRqcAMeTddho7z5D2.BH8UVermC.G5ISl24XoH_wV_TZRqDp2HuAJq6McfALAcAEtw18Ndue4lqX2J256rKROwyIyUCMRU6v6OtQM9EEqZ608GzNz9GRdMb2adDMKOO.iDl9lnsSlghYl715SFw6ES2PFi0O89GUlvHQn0kBboS5bZTiXBHmV0ZcSfi1MhmXyaGT6q5Jcr0FK1Wvlr1IqfqqJKrX5Au.u8epE.qfH4iGq.WrEQBVdKCSgJ.YnvioBftpTI70zo5QU3a9Y48vLbCP9rJOEaaOirgwHSto43FwUzLfvksOe3_ro4cs2KUwfOndGWJTqMc9PPm9mX9PXCU6GvQbKzh3oGYe.YyBdvoDgwohCQocTMRt_XhTyL5VxJrCNxIIp5YQfbwzBV1O1_SRJ95u3O.rfDtJLsNGnRVo8Uh5TYpl_e3hjHMTUfbEFAL4N2dlC0qbzrU0MW1hc5VuyDOwNGNUeZavg_1YSQ.cwS.HRrKyj_WtKif1QItNjabRjJZeq3.YKX92QDHy0BHGCKQipYKuGqNq3bFwDYSfyOud9vXvJ.IvBynVZLp64IaCy380xrb5QxmolNZi0aPrbwsGtU1jrXzf7ftDa0AI6VoyFwA0GHVtHiyFFEeNyuIBjPdcnFZHG0NNKX77DJsnH5k8SjUlXI3qFkCADqWS.7c9ukFVE25hGJJPA13ZNAG8ui9ipR3BK05YSYGmHXs4STFuxX_iuh40wRoyj2p6LOC2M40UT0kgudPi3xlH1fCNVxOEVZfRD2SX5MSC6uJO1oP9_7ol_Y0KHQe1QiPeShC_kfoEVQM0HGTiIa9vE1jp3jmauIrRLHUCvaBwtcdruw2S8S2u6rIn6DAZUWROuPaieP5kH2w7Hxewj5Dlwl1cmCQ8CB0lXe"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e63ad009fb1184';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, "\/1529.83043?__cf_chl_rt_tk=D8TYurCSp5dRTgGZKS98Oud6.ogQgqaoTUgz01P5Drk-1744329899-1.0.1.1-ZLyaimpZdvEN950WZJdsb5ZcmkgHs.zKp3hmGDkdOB0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>