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: '92d73c360c8dfe0d',cH: '9g_boAC4lh7nO5_6Bk7PtqGjMo_.wRutzOn9DIq.jrI-1744172670-1.2.1.1-.6tuytrWpmqtGeCYqVrZr5G2KcSMOnZQ4sN_lU5YJSCMY12ty_i_AcDDQ9lpz84A',cUPMDTk: "\/1490.68229?__cf_chl_tk=lKxLzYd5O67dOnZCk4qmjIVgMMRbmaM2fwJDDE6jTpY-1744172670-1.0.1.1-II63hjVGRBsD_moyqOAHeOF_hQ65FtzsA5PL45O7BiU",cFPWv: 'g',cITimeS: '1744172670',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1490.68229?__cf_chl_f_tk=lKxLzYd5O67dOnZCk4qmjIVgMMRbmaM2fwJDDE6jTpY-1744172670-1.0.1.1-II63hjVGRBsD_moyqOAHeOF_hQ65FtzsA5PL45O7BiU",md: "bPh3_sVsx.mQjzVrek5thYywiAQxvsUnKtdkAp3Oua8-1744172670-1.2.1.1-_IBlYr2Kcfb.7DjVHyRyfDhiHu0uPdjuzmjjIxwFWmfwqBCm4nyJKakSDuaJlj1uvsW_sQ3X4uV3Lf5sT4lxv.p9myk_3LjWwHIgXNqEXUxQNj.jjYu_7NkPviAySJt1CeLlJCHZUDQ_KQnjut6pxpuMtSgIVDCbkEJjXMeulB1TgNd.fkNskHxT4q.50_l6_ktO5O22LAM7jvo9zrOH.2J.3hn2kPQz8qXPqk6p3IRxu6qJZPjluMI2CxWpEMNV7YI3gLZiIFyDY7DL1X.mY1rdT2XjvuqYY58jNGVuli6MRFMxvjbDZk9vIsvmH3VFOD3.nA87xqrOJc6AWBmtIbkZWFXdw7QjgeqwHLNOTkhaFNT2jOyr7lH4ntcLFNdu_ykqxyudAJO1y8.2o6XVVow5tBJ2ThcU4Pcn8aW6ypl_1GgF2MoqMgzI3fLVh7its9pWQhC9g8pxsudG.tC4O_hgMsBCGEFapHgHzV0wbM8823mHwkP.b0aatwIKOWMUhhkpib.i1zvtoWc5aldpDR1EcyEtkmlLDr.5feW9B_S1_v5yUwk8fLL.VnWpehbic9VQQucQQIVFXg5GbDIQCc3Tjl8yD5nxvLnHjGI4beiE8743seztE8voqR3wxP.A1UO6jd91R2UjtJ_Ck0O1yZaMCJ475im82348EEufDOD5mKli72bg9NCXtFdqQGcQgsAhk68ZpjCbcCl5gH35F9NrRMJWBjX6oPzBIup2_HyPFs18SxGGHqhcG4rxM4858W.HNtUSKvsyy8rmurPmME79hBFQE_dmrXLxm3yDO3TqWyLC3nwJZVP0WLtg4WxVE39JJ_4Apnofsrt_T9H5upmr_9jpkO6xOhmtxCwl47zAOjZAxpi99tnlPGo3eRDlo_LzzHlSM66ITIEdVwvhN.SG0uYbKNeTFTLLnMLXZ3WP8PGalzyK8FKev8pSPB53l5_oOOF9B_7RmyabrIcg.dYWngiVErjFMC2Nh3dEGCokeMIF5gxgoebFeqmlwBMFfaSy3K0eUMGs4qEs7jBh9gnKVzB3IKdeXZnf3qc5ilcFzFqw0_LNSgvmFrQ3IaUcThxaIdOdWtHc1ZpqfqvAwR0EsMIFYqRRGPuLx43WVqZHXNe7rxRjfv7J0dpomCBqJJrMYITZxf3ffNahOgZnxlrplDSwhqbymlvmxwe4i0Cybji7W7lDNmA7RzkJHVab",mdrd: "1JHEYzPmgS..To8H_mUxMry55PrGCgS7Tjx9usakdZA-1744172670-1.2.1.1-R.he63uoVcUMCD.zLo6nyLTs6wid28pobvPUPyb4ol5LAlnUHwfHOKh.Y1C70zITcFU9JN.AzUSgKDq64B69HUIZaJDf4Dgmjj9IZ8UkJPAsuvpkGDHXGw394Xi0NeONiO3sjT0BPXfZ4sgG6mq4prKQHarNqkDJALn4TfSWFDAZ4.obXklVgBm0E0bpS_kDkSIcSPkqr3TMoYkbb7j5RlPgNkgBTQ5iZRYQMRDyi71dSA89rCn8sMitQCGeW..MuQA19GwyhKqGKoXAPigkab_7uVynDPS7un9GBM7Kh6GgtKL_LX8wsAKckJ6AM2.qC7kvX27D_NcFQrcWtM8GYHZsPfyRaqkwAzAzN3DRVzx40i9IdMGgtdxdVpjt8TUghQjc4EnYz1i4QRK7EuaxOxsgLZlcvQTwSg_0H3wg2EAILAcU23yBBogVDxcPv3QVLfybdw8pR6IafO6_IeGZpmdYeNIGD2QyDoq.1MZ__.9vjI2eHr9B8_bnLpr0esRHqOPHl2Cuha5gtv5WJStyGHJJy61a8MGoI9bKDEJeU6dhAC_D8Q_8FS_ZcgElqVwNI_U6dUfi6qOgMFFzWX59ojwpMR.xZRyAW1pBOLFGZPwhmzCxU8XjWc7uRBK5JvQEbJJNHp0JtgO5KU4Umu71IKlPidGF6F_EQHt0.J93xzY6_YG3ZNU7aThSOIZ2LgriY.nm8HoNrRoG4gv1voGecX1cMXA23FUXsRnbVb8WI54MULy9MniJQiOkVZyZer3bHnk1uQKH5sOoQ1FSAB5_89wDEQUXk.dz86ZkszTQIqvJBLr3BdpGb9ETCS1UwrWhE40yNqGoKW.cMM1UwNWPovQjXDY2AOsaubQk386BQr5IQpR0M9HHYw8OLV549DOiXczU1g0cLC8J2p1HHD6nEWsptBdr2clZhzRCKNHjir8wgtVpiPjNdkTAIsCKLvu5LOzMPVTQ2Azyb7s94oa_Lf2DRZN6RhfqIGHGKFeUb7IbkpXwcQIsx7KSp2Go55UahSfnOI6JB2KTZ4FNffWgjTdw4_NVXMFS_iOpr9GIqThH91h8xG1.42oOAoZAFcHgf8tnYW_Ky1RtS1DsfHpTsVolkTv8nMLek7HJzyUjAT606mGpvohRaKk_lpjxHQkwwwHHIf6UkCUSopoD_KO7.xZJ1pJ8HBiJ0v7NSIXvMFPqmhjdFVJMYMppgcysnXgBsqNs8akLSxpEuxg2sb9cBkOOCnodBGbI2hE4vC5.yXdgFowGiIGXVANAxQ7r_vmFnZajJXeWSFleFVCtIWt2I5i9nnkpPpkP2ymngkoJ4MIgWJuIOkqoX4C9rNa_tIuJvhwxSDGQ_6vsAil2sbr.hCM.kATcUu5OmG3K8k0zWtGBlEiYnlrQK9Anq1vzpqcT9NiaANNwIHWQ_oiTBOGxMnhxIaXQToljDFbKmhCtoHJSxXvdV1UJH5bDeJbWjCfFG2nY4xl.clzWxgo7Df8tq08d79E4Ym6Tdq_f8KbFsc1VMV1jdoZfFctlbkrAZjkIZ0jxvRV2ZNmxGQ2mQFSBwo49dT1Pwn9IYmaOt4sNEuTS6KcDdxCkJ4ASuXbvfIVhAbC6gRDD5quDf7CSPrn334c_84balq6MLh9RpkPpsJyuGe0REw.ku0S_GpL7hHPXj..xRsTan5vJRNW82MndIVfXBSsp_C.R7LXvm1PPTyoNf591NEhSX.AHzWQt6HSZlLDKQLwmdgmrVPGU79QGsElFMghBjHv05iFMeZzOsR6oTHHdURU697Z258zesLxZzEX2ZcWHJ1BMBCv4fQGXa5KhuJuoKbaMbl0UAncXgza809pm5_Q9zkwhU_8T0YTHQBwkA0E9eVTXsKC0m1qPlu2IzVh.Gf2tH1KQ_DcUv6Ay1aU6so0m8lsGnCl1cbefI7yMpQ57_Sfbu9ggzlIBdotXNdH3jKcj7LKWZrH9f4LG5JHseEfqeiiJaJTQfBef62FcthA.elGvJp.oNQ9BDfjCFA.7Ih7_w0VelT4yNEGU4mF1xMue688RoeXLZhXa"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d73c360c8dfe0d';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, "\/1490.68229?__cf_chl_rt_tk=lKxLzYd5O67dOnZCk4qmjIVgMMRbmaM2fwJDDE6jTpY-1744172670-1.0.1.1-II63hjVGRBsD_moyqOAHeOF_hQ65FtzsA5PL45O7BiU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>