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: '92d78eeac84e0b9e',cH: '9gfoXvW7EAeL1XgsMjRuE7uy63.WMAry.oFEDfzjeX8-1744176058-1.2.1.1-.Q1AbU9XqxgqaUweH5HwZPGQkYjOWDGXWHbcKWxGfyJBBbPYl9XiUjYLwIhDGor1',cUPMDTk: "\/?q=rf%3A6566956&__cf_chl_tk=TleC739gttQsnPsYzoh0bHQs.Ss2Y9Ewhy8JINJtCQQ-1744176058-1.0.1.1-b.SN72lsKDQJLhhavny8AETE7Sz7z_zn27qnQ.tz_FI",cFPWv: 'g',cITimeS: '1744176058',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A6566956&__cf_chl_f_tk=TleC739gttQsnPsYzoh0bHQs.Ss2Y9Ewhy8JINJtCQQ-1744176058-1.0.1.1-b.SN72lsKDQJLhhavny8AETE7Sz7z_zn27qnQ.tz_FI",md: "_zJeqkMCVQUjeIaapBX1pHFEe40xywmDdAi5FjorzeQ-1744176058-1.2.1.1-rjwu5vNpY5TFXjwCrT7hketaZt_lc5CdpuRUnuFK1nYZ7rWtptrphXGDmvLokpBZ6_U31HB6oe9sGsrXwtWNn7nH68AIqGQDiJyCLc5cqHlxr5ILS1av_UM9KyK4klKSbN6d7HUUjmzmQMdSWqTmYhSZgkMkriaPCm2YkEKFXooBuWfShxISOin6bTUnc7O0Hr0YxxAd_yIgFwuhifdIPIKEEHUNUtmq33V6CUdbk26uVz1V7JAc4MjApi_sJzbfOgKcYWJpEfn6hcoNx4kdFTCgQozW.bHAOunVyhLfW5ZOWdSflJVZLNt5EhHgxrbHXzrLHo0Br5xXFfqDM0X_5plJ1xo45pApzW1hcN4ClMAApXFV4e3_vfRMgrjcpJIw74GM00pS2qzdZk4dYpLX8mWY8OlavMLsg5.V2XYLWlg6Vi1eAKGC6VJeZMPpj0TM_vuTPF85BfDdM2qmbzv1_0xAm2HEirqLiPAxmze0DgXRM.iE.I5XttNOBHqvFpjo9sb.lXm00eka7rVOBgjAArEuViGCstcLQ69i5dfsJ3hewpSzLIGR5lO0eqgpDnkG6msGra1gOaXYUdGFX3vmB0qE81cue6fED5jBXSin6XyJ1bDzigwbwgLzsFSOWKwE02_xCGLhr1y1E3sJ.9ZQHN8DMrhEdYoDkMIJXaqDk2jjQ5j2DwBYhDeYyRIP2EYRAMQWiiOQY0iSjPn1YO_1GAAbfGlGTwcy8.n9mCNLGK4z7MQ9ZCMypER9Qa2E6y47HZA4FAlK8LMKeQewwNxfCz0Xo6W8kTmqsaP8S3AdptuUkSk4usHfnQ16ZaNdUOU1RKz6RxvgII43KOggdKzz6XL6KvuntOXb96TL7F46EFOPAsSm8X.HGaN6QrsKrq2Ir3BS1M1dxM6RQU0uqe4mEdvUNzau06lbHLdh5Bgo32WxrCVa7ZytK6f8iveHP5Wvp1g.UQgXHwYpc8geDSafb3OS.Hi95jNbpBLPSN4AjtNn88MSgWQHZG7uuELn.t4uTijIHugacmRKiAaKroAUzFLfBaKZ4B5QKjet8uRzau3nRomQpEYOd07Uu2BOYjtX5WRQM1qDj4F3KQ2WeTzvjRZFnhuSpYyYHv422.QxWSV3M81TrelcsmhOm0kxcjbwD2BhmzOF1.WqJBWG6lvFJ1EqoFKnyUFzrqXGK22WAA15PsBO2FFy1JMa08KgoT0M",mdrd: "VmBrC_yJiS9LPxYQFB9cnNAHEjUmGb9wx_WxA7bQ5ko-1744176058-1.2.1.1-OIT_JExaRFq.hGtCoCN2dWh.zbHAbSHru3K0E7CLaaX.Ygo75xGmZb1Xm157j200iJy3FqKkHdJKRWdOHL1N1ZrevSDlFhtBfcfAm64x4_.S5OFlxi4t6__FUBYh9JNnprPru1t1WMWVLfxsMhyO0VT0yyBSQT6FDAonYxZgqY2hSXWilOXDUhstO5PoUjGls8WQkKoHZ.FhO_FnG7hhama9MjVatQwPKC5iC.02A81BWzVAoacGxJSx.3spyV0B9_NW8th_UBmYwG7aqvLnY7ZxzJlvxqYt4uZx0Bp3hrKt0Q27qO4hWkXA.9tbvB3h8fftAjkQKTrLH73PPWeiVLb8S_NdbuegPthWPJx7My0kUC_nAOVSQDlj8l6iS_Sb5XleJCUT7bY1uZV_u8lUDifHMNgpEhUJWMxjVWMIbKMJ41HyTdzdADSdDv7cU_TzQlNRH2vSfqlzkxhiljR0OSRekHlhPQnr.6jLkgMaTdZkb_8PAVsoTOuJM8Dw0WvSC4zzixjAprun5EGCrIJI5LBVtaRN36gzsRPqftVo.dG1ODK_9GTRqpB9oovvuAVw.theLMmJkUUC81B6LTGAN4pOKqa7J5eits5onVRuuDT3k2kcue2NpjQvGA8W.mjDyJiT9e6lbRdhWIS7XBEjvA5WkZwoznrCUn.RNxE7DjE2MU6RhduPqt1vWi2mvFq78T8hpnB_3B_6nn3y23_dKG32Mhe7Esyyuiy1XTQgCqDtGrsnlc_CUIYv6Tiy1SBhSo7RyXu1uwrPoK5n2H29__iTRqTS1TB8ycWiUtmmb8rarJFRlHSoFxK0PH_VaVbKpKayZBL4AE0uKqQin4WfYSaLRBYCeigrHvJRkplhtPh5N9sB3lLbMLNezKfbdieOyIgKnaKO1a9csjqlCqVAi3M_i.iayfoq7NkoACPfnRWzEXLSTrswdczQ1IqxqSCBHzof8R2aK5M1uqtYoEv1SsocSnSRn5ThH65wYQzm7kqIUTowvK5_12Up21bCKtEzg13aBcylTwaZwbv7NQV9CvGGBhtEMmbtTDqRthEGoDEAOW86nHoFeIZK7JZYicuZrYmOmcq_tDSbigCstECfotKOkYQ2tJN1WGct8t2fB5n1pFXDDJ6pJniRPlsD4hFA6lSY4pZf0OMzQCTpYc9J9wu_XNz1qOdLMOCo6YSHbAA.BQT.dCL.xIvBlIuwdYyRN5tyRct0ORoWjo5L9HRa8SDC8cv0KnH0bNOHpUk9GOWPs0bsX08ueIA04w0H3wqvt95Y9M6Ct4LdPEs8Xj5hkHaWhW5pTQecKrRpOxV1Q2UX5lqyS.e.cQR3MpMbtdsbtqw4mJatvm5ZwF.ad4ufitcaBedFhQOlFkjnxoKSF_Bls35yi41FOozZplYIKGPCS5RAcJovtBmATDSb0DXglIx0USwMdgvZqiT509Bs17On7kRC1uBjw83LE3yJmXedf9oMnLWfy0koUN7Pgw6Qa7zDCVM.pZtS3hoxPwxoXcT1WpShBIbz.5MwOmttYz52tvTcenyz3n3BmoquS.JecJ5HLQoMosQPjrqUwpqKbHFei7udjT2Qo7oLYb6ZZw0JC7UnAR_YdCC1HjD65lbGVjNssLb1rcSS38RXzbOYIkAZXmkL.KpXy43VXS7zlZ5xd5YDaVs2gfNIbbMCZKUhe5F3reTOAuKFM90_o8jJo0J.IpUQYnON7yKLHf_MQIo4tXX3Lagq3Z_MH8dUpAVqa2cAtunD55jsu7THSez9LKUBj2SNddrZP9tUXp_khyaYsSVUbPid3q02oyL1stDxbUD0wrYkLAnuAMe8XK6wIr4JbQ25VLGYbztuQwqNeBrtvvKwKdcFquKehQ3xeGOMUFeAMi4ZUu3ocY73JNB7xkidJx6W_C8dEv1GuF4aAo3fa3N8vhEKcbdqUc9mxgKEQ6wTbOxDeXR1U9mA1UuXj4cCFcA691MhE9Cdp2dNTr2CtXZ.iiLj8pDCZmSZXMCS5g"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d78eeac84e0b9e';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, "\/?q=rf%3A6566956&__cf_chl_rt_tk=TleC739gttQsnPsYzoh0bHQs.Ss2Y9Ewhy8JINJtCQQ-1744176058-1.0.1.1-b.SN72lsKDQJLhhavny8AETE7Sz7z_zn27qnQ.tz_FI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>