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: '92dc474f397b33d1',cH: 'J3DR_j1daCdeoK7t.YBSAiVl4oDnw1JlOV0TpJfKu04-1744225553-1.2.1.1-xATsHiklSyKC6FbBazqrJxXVlgzeNLrr96_X_8iuSLW.SHHYiFGOMg2i6gYQGkZB',cUPMDTk: "\/1536.81104?__cf_chl_tk=4PSLosICvf1fC02t1FOsxwn8XsINH0.eP2cdVH6_FGc-1744225553-1.0.1.1-MQwxZ.XDz_15GNBlDYgKfp6b6dFkJmIIuwxKtbvQSGY",cFPWv: 'g',cITimeS: '1744225553',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1536.81104?__cf_chl_f_tk=4PSLosICvf1fC02t1FOsxwn8XsINH0.eP2cdVH6_FGc-1744225553-1.0.1.1-MQwxZ.XDz_15GNBlDYgKfp6b6dFkJmIIuwxKtbvQSGY",md: "guk7ElFNBTWMsR9BkDHxrzwg2vlqb63lC15.mK_2BmY-1744225553-1.2.1.1-OeRBcqpUXT4r0iiXBN9X0dd1ykUIWnIcos3p5jpDr45_XuTKQn9deFjxKvmGdkw6YaBCu1NvK2DcLm8T11gllelBgAePefLMH._ymYWiq2rUdYwfEaDTlMXbq7YRujYKeW6wxwY4XAHzqtvcszHbKgA1rTyNdoG3Yqs1XfJTf3I7HhQzwL.XEmICBW9g.S5M4JxJMVbFj.gLjOdthR5IvfhqyNk3Y5srxB2xgih5Tv516KAtrPoBry392ezxMB2aau07WjiiXSBXegmaGH53CQWxvcw57ZExvEdJsSNV6na2IvXM0v.YP0fqMOrVuC0OsciAfI50DvEueKTRrAwwE.wYWpdwzO6QWenBy4akfvM69qg.VpTWGOzap4xFcAZEhBjnDrZmTSBZAXSaHCW1jvFXC01QGbiLd_5ONhsbgWX0wa56hVmGNRgIYZcvcf60mXCAMvuyUaC7ikOOOwtxNF_JXsDd8o6NcaFwoJHiU7Uc2G2MK6D0Fw0UnMrq24Rqi6xvtKO1I3BLRPDBTzOYLFOIXRX4ydGH6c1XsEMaJmpltEVncMgS3.URuGJK051gnPZNW_yFrkAeUTTb_tNBpoSrfErtspPNh9RN_Ce4yMe_dtb.La5LPjX7q2YcPmVhIDUbAsQ5oHNFKPB9BnrWWpRmWh3CR0gl8J9Ae5XJw55W1ec9chhDLiv4q4355SMxUPPZ31nVgmDkD92zClYi6fscNp3tfWGloed7LcoGnBgomSgVwBqNRwkwH9ZwEqts2GShq0DAraY2Jgcn2_kEqjl630F5iR0_Wtvi4u.zs_XhVQGaDQmkQ4vbTErEh055hvj3g7YaruKNzl3UVri2HZpWG1kg5mi.4odcFu_3fil2d9pKRTZzQCHET_HHdSqRCtC3HBoWwHQBYqH.EoqPuys4g9aRF_evm_lS7SxMINgDwjHfxUV3UxR34SmpwiQwooT8_5RxUWr0i5jBAaiRqXwYr57ANXh1u5pwsjaJ0V6vR9JUkjfr5zNg1EEz.U6.ut3m69quoefinWkfq44.sOtqEHCao_RpDAaDef3E7bvzR8xCj_zgyCeso_AHKDOM3bsOv_CUBjzprmAwu2ur4esa_E.qjWpWMyTuablA0SPfXeZFO.UYAPBi4u0SIRqklIFTTV5xYIsxhCtJM5Q4_QV3FJRO5VhR8R7mVjFiqaurTUEiM13f9_YrwUvoMN0F",mdrd: "Ykfq6bzojxFF_rGoPk__yYZ2t0xpgEKsTifG78PDjbo-1744225553-1.2.1.1-_kz9_5QmZjCF6lnta1IgNDyP0A0xM5sqwVUiI1tMhgkEy4TnN2ha.GUBRiJSY0j8sEJ3KnNQyHHFoeJuXRJLz.3S1OJqLMwuno.KaDow9mZ8U_FnETEL.75wgTTCxUWl_XCsG8i.XoWmJAC8XZEEgCaO64HoPhkA3Nv_u12JFjftYif.OYGD8NMy8JnDsDJr.LmtuWn_TJ1Dcjc56vWLawa3F7z4syw0blTanBh3LZ82MZPx1kCPw0AgzZAg5njB9W0rtb415w4KTzPJA2GZl6no2AI3M50OYI0NQ6JqN7twixEVUOz8x9AVVcHzueUem0_bMPLL5aSbM_kBn23N8OhPcbHPYspzzSVIgVcGAbbcXMyUsMejjiComCcYSHykQkTEhrFa1b_pXDFLXKeGSiWR0Oc5keD26nlNMSkTIV1lgnySI0Bk2kXH1K.h0YZkrNyrpAaqGy7FuF5WKBuqNMoyuU3OtA9DFjRepaCpsr0QJ4yrTJ7CzWWKh9CQMHcZs.WjHu.A1rELLoR8mqjK0tWdBebQzXj8vvKm1EtZwQhIjqARGk2Mc6oXNQMYLuzbQudnrtp9R8PwGigM5bUmI07UH8oy1.f7GuNLbU9JH5ELaTo1JkDnKf7u_hmkoC_L1eT0lHA4FTtHIHViveo8GGLif8IV1alPYNeL9tbqmnILCFdIQfL7lB0cDtlbbjnaa2BI9RvwRCJg81zBuA9w8qIZGzwcfgzGK3spb189TWDy0chzGbkMfXtV9dQVLJMHmAApTC.2j6BIeDwYEj3D80t_yqw6jeaaUPx1gzcdf8FzCVmYKEaSbCwnOxpVpglSkfXq1SqSSnzuWEMeJLswE.oYfsRRI4TPBon65TxqzB8lehIGnWBT3QXCq4L7..hoAsQeugFHQmaa.gvQaKGsidChLaEOnxSWovnPZjmEgXDSa9_10flkt_X_k_MQNC65tbL5cC56s3fREzxYIrJy_8ekdLNJMxS51pQ4yUMR5H3u.2oK.ScL2x2AtD09dHZpMVmuNJXGTmkCgzvdlVUCriNUqw3jsBEVN6H5JbjQ3tRu8jP70FFtj2uty1WgBu_b_3whJvSeCU18Pu0QqprCMLtyfeesy4GkkOdBxUGsghO1AQAbetsvpwJ3XFProjSDA8vFclftBVedXsrHJ1ccw0n6PhBfZh2QIOValOZMuHi1GEBDJjupO_k_TNsYBja3WSKZ6f7BQZiXlMRA05TM1rKqXUVJ_CXqTbvdOdxmF8bytaEXMk9mHtLLnxoH_2.JdOW4d7CPGtO_3iFLQKBRkMagKHz1IweZ5IYvD0WxtmAQXS7zjQcnyQamz3KW9ryTp3AtY_CQTpHHwYZ7hKh2WDxGTk9iHxUfziY9fH3_D2xQfdsSxLpdMwgVKkdG4bH36aLVlzKcIqCCSpUBG5vBlagN5cZbi447H0u_OH2ii08PZocr6fYjUtHdavn.BFXhwBnnMhPuCaTUPj1Wkh7cTdhxELy.J7FHYM7oJRBjK3ZBsFOPeoEzZPfRGHtQ3Lh8jBbA2HkBK5StbtMuH5ak.YIW.7ir2R4eRlO.VvEJrekoggZ6SCqv5zXcoQXg3HcIpJzn3SVfxUeXg884RIEMpTKP2tUumATYE5dXdGeAJtWXEms0Nf_41Idy5x5oPglZMyZprtuphL9R5217rkXhAcBnt6Jba6xavGIg_GUA7yU8rjqS0CxHqTjRCuAwle_4qLI65HPAnE6nxVXQiYPpHz7nftz2gajDuJoS3itVXyeOUk6RUJHCEXGkYW1Ng7u1ydQc.h_4brflQyUtSLo99vQA9z4pG53EXFeQ3F2HwkiNd2R7rj5hdGRxIN11Z.VWGHhAAzSY_0KSYG8rjUt7wfJnBITcqez.Wy3SuTWzugShSqUpElwwAZSz_cW_dFeeIfLzxaVV1BILe.Lr46XuV0u8Bqxt2vF2xY6kwhCEIvmJfxACdn4fjlPs42imb7Lr5vU2EN1lDq5Q.u0okBi3vIERlAqDF7ZJyrSHsujYWMkAOdKtHweA43v.DRbe.Mtf"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92dc474f397b33d1';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, "\/1536.81104?__cf_chl_rt_tk=4PSLosICvf1fC02t1FOsxwn8XsINH0.eP2cdVH6_FGc-1744225553-1.0.1.1-MQwxZ.XDz_15GNBlDYgKfp6b6dFkJmIIuwxKtbvQSGY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>