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: '92d308e86dcbfb86',cH: 'o9nB.A30J_0PWS0asqmwXiY2S0B2m219mEdX5BvrkWk-1744128625-1.2.1.1-u.UBUD3yQyIjYhYUu4SuLWR.HyHMJyNct7Fy8KTSFmouaA8iiFxkDnL.bk4vLJww',cUPMDTk: "\/1323.93036?__cf_chl_tk=3psZ_hcRVTwA7NRwT1pcTQtya.nouq._1Cs191aqX9g-1744128625-1.0.1.1-m_HaCiZeJJNpsthGwJpEJd.mPGKxeLQAuhGihjAXK00",cFPWv: 'g',cITimeS: '1744128625',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1323.93036?__cf_chl_f_tk=3psZ_hcRVTwA7NRwT1pcTQtya.nouq._1Cs191aqX9g-1744128625-1.0.1.1-m_HaCiZeJJNpsthGwJpEJd.mPGKxeLQAuhGihjAXK00",md: "qFlHNNFfup1.MLh12QKmDDRYEhwz6Kj4xr6njrqpYHI-1744128625-1.2.1.1-sz4ndc_nrM1SG_y2GESs3Ne73MlrQz0hHq4yMu4AeOQr_q0eRpqQgtsVTMTvxw3mCjRrwQ97iySBvw..jYu0i6MvgiIyEX3rUASjdEJoBLLMg.OdhcjmRR01AZ6YTzWWAlZDMBDRK1ywU9cQpTuxrS_bI.vyR1zPDrHrrEnuA.vzCXfnoRN2uo.PnlB.kUpLQULAREUXY_fn1aXszTxNm2grsm0gab1Jz11F3SpXbVhxxnhFUbHc9U.25S4M67VgfSouRh9vAh8wTLK792wRHwaoeklaRCfzbOUCN6knZ_ur8BjuCNbAl3E.VXi.JlvqpWmRb5Ze6TGbhppi4iRdZUnlwvF29yLPO0OJfp3w9JosV3Ym_4EvX1Y0iG6vZ6dU4GCZpPkOhAUKtU43fO_Zf7bhsMbkGhft9DF00t1WeBUe7n4s7H5YfMRr0OmvNpFbvz1JyVz_TZ969RzuMc6SOenyJq92QYnL1NM97wOFZA6e9qHY8Ins3_wah7tvhV4g0fS.i5Gn8i27pOT2i5hkSpJed7C6CAUV7L2FAu7R5P7QgyzyQmlgqnmx16BqvbAMdP.XCQdqU4FvlDh.TcSqOakVLb1q.PzpeBgWSUPY0.cTNdPHFyyrgq0_Fx.kzXNAhjOMzCQKMc6WY5StmNXoa4OjlIjHXt9n13nasdyewrtuhTtzkcAE0KD5VjOmn2mhiVVxaq_z5D5RMn.YRGu1fn1yh6bMqangBwlYOEBlLqVm1iRoyX7vdF8JMc8CvxX2lsR324ugKIaPlMPvPJldkkQWUZngmjgoEi438vZxa84_cwT007H._MREP93K9d4Ps3PHTeuZE5iffMQuxtxu6Q7CiyXHYfJmSbZkjESrlOv8fajsa4Mwn6tlgUv09tc6JV6d0s7o4kmcn1vB7BS2a.aSEtSzK8RJE3z3yAahwDE3E_0ykkOBYHAKUzcuAATbL9jsGgGVNrMfdbviRLwul2yf9ayM90lUj8UUApE879X4rmNCGkM7iaN.wLIwDypcdflxAgBqn_ZIA9RoRRXTcpjdDLONk2lgHqkzd_lt6kApXpRUO7t0EDPt9EF7ii2ideJn.sI9i_0U3yPEznQFDGjRpbrVM4dhulCVJIb76a_MWQM75d_9WM0ixL946XP2oA5mdcCwI5MM6Kpl5O5mmi1SAz9SCaR_PdrgDNkde6kT103ERgjS0HgrsFQAmeGt",mdrd: "Fg38kcfA3VBydOAEzK.5NRzgmYFejrFV5WfLGju6Cf4-1744128625-1.2.1.1-MLe9VzNp2RuW5UdFdk9YCitERrWS.3LmmNpeevVosT8n.SRG4FB1Vv1ubAxaCbWfVZxj3BcFvTkNIQJYMNxnuApr3kiC9pUEG7hw4QAMc63.vKjXMWNH2nid89ehAIXXDx_RU1o.7RwllBnii1456Z7LtIApVDcCF2JDytPRayFliSwjc3Uc51ZSWtter2aY8Hh8wE0xm_cFHix3B3w.V2Vpx1MDvPbmLbakDE0Xz4mG_LeqXSDzrhZDIx32S7bJ8IHkpoEukZiz8MRFgnz925boQQcrP.eVBBwW2vNpjn2AR7vqmql8hfdaFcXgsE6ohB6qhPZ5n1yDnMuz4kWWYzIf5rB0cVqproRnn.4K8oVGVy6fiUh4X3JLSD6Q5rplAcU5nlC9Sr78EK.Jh9HO73kKHUqMkC6lLBGFCt9L8A.dAHta5heXsrQ09Pgtxv3v6Cry_lL_7A70k48CKyn2orSuJ4K1LOLvw1g.wMD4LvFe5gS5oNx.zZ5TgU.UjFImjzSo4p4Aj8ET6QLd5xetyv2iJO1knixTO0QGM1ET2f5ueIuBWjHBbqnDwiXaReg1CM2iOhtZkRgXqyEQnCrJaVbJl5sn.7bMGTRNASYEpeHr3wwn0meDjldeDKXjZPkUTarloQTK69F7KYLhD.hi4ud9eAIuqV9LF.kuc.lDdGOdS.mHWo6Yv99eck0EpcKuEyMxax1yFfvaq5qOApXP6BKU1b8XTBk8iqu8Tgu7Grutdi5d51AgBmbOxRPA7_bOxaK0iIVo67_jU5j07OOGGMzOOBMlyjUDHzLtpJd2.M8P2boCC.vIS77D_qgz_99YqYKTzI15TvfpRpfojr.tQASWi_IIYFjzm3740uh91_HkYHfv3WlQnvlAz8ch6H4uqdKvPtUQrqZ9doKH6un1OKK3bwQf83bTu9AMHXoQB_tQ2ngrWWVWzE4e3IHNsyurW6RNUKURycUtlSrycOLs8isns7MjGm.UmLGsslerpDX5KlyzAXW7LvPtFXHg.dAlnw6OgH48XmhLpKzs4FQ5A8OzOzgDjWg4pDu7xA4Mo8qoamE6rmY6MBeulFylz1fOwbW40v3F4XyUCkJ.ZNnrkg0G8JdRW.ypvh0mYXThbdujfpu3m3r.p7j1H.ECYPvutY_uR.dIjLUdFmhHTft45SSjImRw9Sy4L.dGAitVWsjnYa.FgWKWTsk.zM6Z6FK_Xe00uLcwWGW6Ka2XPzWiAZpElfFnb17ypwF4syELmD4CWWWqmAaIktGAbCwxfL2zkxcrhhDWbr7g6M.CLpWJ520mtqNihDW2yeoVMOMUPM12RAylJsCNslXp.choOyf1MSaoDwSAxd9nCJt2LeUe.kz0Nh1qN9MRLg1o53LhHQqqH26KI4mPv7ojlXTrfGvzDSf92y60Yaqc165G4kTV4Ejo1AavxdkRVHu_5Nq_7gX1GYW0nxeGufWszUhZrVpZBhz4kdmCwGzEawkGPssuVW.mQzil.JrvMa5vCTQVmxnW9pv35cOEIrIMk0yiYkOuENIXP7kfS3RtcySgRFbB6h8TeTqrtXYzSIieHSw1by43Em.94765VAEzwZ7bTipeBY8nwMsFn._M0iYHuQe2IF7E6R1Lzk68SuGFXgo.gvTZtKBLD0wAcBJObivPNnLIV46vjOH3u7VPwBhLTGYrTbrS2kiS6M0lc1Xdvn5n66DgEnY8OUyaOcKNfIM9V3ygKRKk0liKpWE1oYw.1g45DuXH_xVBoNf0vQaRHQFSqkjkIC0ruG4AFvBnWzI9Pzl.IA_X.irNJBSuzKG.Nz5La0kzoe8oZhgFeJuXkjIaO9dimJ8Zu._38MfOVVTQXq_H.4_AHEglVDFE.MN27Kkb7FaCtkh4M_s31E3PQyU6_hRvAAYf_uEhZryTZAOUo35clfqzEOLJt_54Slp34CFMq5kfaCPRQ6t9omWxMklDUfGSrIa0Vc7YoNH0SokBlI6IqFgu_xvGaZisOjGexWvQj3LR2.JBPotqB2S5OwhpO.t.EmixOpkWG.7W7LUlrZjtLn3u21WZrTmkkLrNHxYhbA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d308e86dcbfb86';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, "\/1323.93036?__cf_chl_rt_tk=3psZ_hcRVTwA7NRwT1pcTQtya.nouq._1Cs191aqX9g-1744128625-1.0.1.1-m_HaCiZeJJNpsthGwJpEJd.mPGKxeLQAuhGihjAXK00" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>