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: '92d59081bdb0fe15',cH: '21CYYi_lqzB5HOkH9qGRirSzWQUSnWr1CHAA0VYaKNY-1744155151-1.2.1.1-Q7scr_94JpjoJcS6ypt2viOSYpAbOylKGxwQFfLH.M_aXR2C2Xxh86FLFHT8zgAg',cUPMDTk: "\/1525.90394?__cf_chl_tk=awTSiytVZ4LtCIKIjNTfPoumGCXdmC3mjxwZm5txzqE-1744155151-1.0.1.1-qT13PBkZrq4QIPmeEaMWfkO0hdOCNz12g8ePvcjnOV0",cFPWv: 'g',cITimeS: '1744155151',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1525.90394?__cf_chl_f_tk=awTSiytVZ4LtCIKIjNTfPoumGCXdmC3mjxwZm5txzqE-1744155151-1.0.1.1-qT13PBkZrq4QIPmeEaMWfkO0hdOCNz12g8ePvcjnOV0",md: "7VkwWQYSyNa9yvkaM7swNtuJKi_k23UG71FkUdt_jS0-1744155151-1.2.1.1-eerDdMsj6tqh4ZWMqihfYN1tB0lGs9UrgHwYvBX4nhnibGq.Vd6r9x7obFSItSaqUbPge2jgFaofPRVPpoesIAkd334XsycuA.hX5vme03Tr6zrKlGLryrVWgULgWxtEi9qjhn9zb6vvOChZ.e31T9IOSieZdpFjsVeNVBlMjP04vNCeKOpjZKJNPLZaBPyP9i3j75_bHixJAYhk5pFTjUTrc.fdRweUdER0YrrDHPmNoTf99o.zqPjgz.pe3GxXKv0QUOsWcncnFi5FPkwB4VxwOnXbUkX3UaaXd6dgGdRPSCKoxM_.l6Xi2n_kctaYfnu0zEwZwjuEVhDWgy5F4vIityheCXgVRQzxtFch6AvrMprlRi8B4RxFopIrSt9HHG9A_GLp75TkjLQcy1r8lJmfaWQkhnGmUlhmFJadnDYpY68s52dOtXAbZbjg.pRUKkQ13.JjlssRvBPSy7PmsRwf9a3xHU_Lf85_xdJw9luDWCXwmddg6WLU2hL6q1Td2POLU9HfU.JmvUymx7rjhkYuJBknHGmzoF_mRyl3CbM0qUbWhX5nZ1vojLkx1phdO58IUILvIZUt.q8FSlxLNRagvBpeBCWKYlQwhVTJmsW1c_LuRwEKSvp.K255Gfnm8YRFTPfOsf6BweDkkXPsKhAOsMkBEl2BHUuIW3r1YjvDvCjCG4fCyyORhJZ6H7_b5Cpm6IszFGc8a8Njj55TUKF5Zv6VbNNGc454TdeTzARd5HY1m9Jm5.5yJlTDqS3WRtkw.qg3iHhIrmEE7TNR8GaywVErmifdw7mM4WwocG8MKeZ8szzobJK..pyUynCuI8Xts8SC6MBKduUfPR7Tjlj87zJBm.RwE8HZ11qSVFzbc1krJS0VT2aqVZAv1qfrkwEqyyFSAMFGtm7CmfGj_UFM2MRyqffO2g3Vvc9Kbz37l_9O0MovlPJbv.XoV_rFPoSv3jnGrPJFzMsHM3D1hZb60qgwCApp3RB9ow7cUCuZXfIhEucXQ3OQG.guvkVNYoIn8CkY2iiB14xVfNaPOHYVYIlHIhAlR9yL4r4jI.OZ55Ltjxan0Vmd6LbvjnhLOS6c29TyCXDp8zIcsqAnBn13r.Uir7dUqyXF8MTQ.VMnI3N4lAbP.WPC633KQkYG3QEATNviVbXzBYSguvwCVzUSjL38gYBjJTdKTyGUWjPYIZSmOYkU996nRVLEdh6R",mdrd: "1MJXkn4JX25CU2GQSOKzcRtRuRRBcgiV4mox4unju3Y-1744155151-1.2.1.1-TqI2I20ejvkgY6NVBGwz0pB_HJr616qd4CNU_1nf_eSp3Sms8bvdtkXaO5.Eq1coPRPb1yfoAJJfDYoxV9tt0WizP26jTwa9hkxIhzvWif9DUQ.E160kCw3dxamC46EyWbuE_hfuQgzO0Oan9UAZHTDZwCnz6c_MQ8ilzovX3ob_c7HNSHF7RLNJsVMHdtDJtZLO_neByr1K6tcdYVl7kYlzWq9fhsBst_B9bqmwR0_A63SbP39Xvkm_whZXKRpcmX5ZEAaNu1RlVZXXr76UvekT_oSEZT5IOJYcNcEelLKl1wqyPScgmez55d_qRdBG1GvTs7c3NOeQY6QfRTl6RoXHPpnFo1tydHPnk8ovEa7i0jf8iADGkh.UD4aQ30hOBG.VNA7wFalEYxpPA9AwXOOcAFpYZ6gzAF6owfDZFG8KcbwdOv9GVtCVGs2GBBY7TCy1vxlNtr30SHZtZXd.WSdkhK5Bb1dcQiBa_IC2f3ZzNj25lHFbVhIDFcVHtI07W525laUnAZ_fDKYGNowQ6S13nXAix5.JWEyMp9LA3kc9xLw4AkNrJ6PSt1B1y2PgEwWoO4Ve0v8S0nrfeKGeWdD1G46Fq4SZ5EPQ_bxlmqh_5qAWBsl8.wWKukgEy9Hoy1E3klWqbyUxQH1vlw1BdrCHibqCy3jUgrZ82LkGDkbCzF4bH1rBDiKbqqKcoi391p3XGxgwFbL7EDvjD_djCY.X34_XAJdJzQPvqLI5luL8gnYbHY4DCXBSHv_4v1Nx.U67ykC2tLQorTh5OPyF0uYZKDJofZD6Ba_ytqjYAt7.RnRzLHWjPtNI2necY_MbNkrQy9q9vdAy0KXWpXwHtIQww1Bujegki0AsS9TA27gPpJg1eKlyLVcqX.zb7n6dpmQRUgB5LHowltFo4IHmzJv95gv68hAjNJ35ObjUMUeyGDU3e2UtB6II4CxuTZlMXVEHcsgmjcp.h5uIIwN4YQcoa_Zq1qBUrB5L06anLtm0K9dn7lbdyzpliD5lgkiBXLB7p39ObB1PGh0j30wPsIZK0z0p9dJIV.vOU6rnAGDzgUzYdU7aHDFFwI6ujFv6mZaDlFAcrcJwexQg6J02zAh6sfaaUt5R0.xxtCL2JMht41mP6JiXCNK84swjEpwuas5g9HqXZVGzX7cqiYSFeWXjLaabnnaU3m9sNpJnfCbZQscqyg64UUODvU6jQcuIfCUJ8IhH1Pe2uq8JUl4x3M32ulNjctSb76YVE91T.hOJIHJ1k80HOwt7XuNXSbbIzCaMBClvFzAFLiNg.3wTMH3E._77WSeVy663JeS76mh3gbjJD.6bL2plUC11siLzTMszCu.1TsKJDeGaRRLc1fT5wclxFK9k6X4DC0TfU7MoDJ.KLax1OdRxQP6O79U0JGhYTYX09YUzBg.KBUxhotn7moc4_k9mcq_PUWgDsPmB3m9nSiXkRYPAhV7ZgPQoA8GYM5atrOxOnLgJK21bVpbtn0iq40WVVhI1DcSE4tGDfc4ni6qPGVw7ElAgAg5mnGFN_zNPAWxqJi6ZgGKSBXLA9yWALYpLEdePdR7zK2sxmLJUcPjQoR9YYgL99k5XHyMrrREgNASoISD.1YI30Yi_Pl0Svu_.HjFx1RvDoS_lNeTYX.PhmbZYHL6iLKEBSvoQWaiyQmqdTuZdEGiIhFDzayNaGuno3k4CP_HqXc6LVAlBb16hyXAfZL3RlPhymS.QA7aS0iefD7Bx5NzRBn7.AYVGu9TXLqbGsNnQ.o8UfESrFHMAltQwa7xqAX.bxnVMMcj_mtoCsjJUyNXMad9B_0Y2FRbDbIS0cJ0BujwEhaHYzjfQt9nCYd_lpHJciULD2kSopuGxac9KSjFsBwjFUnHQFGyfJFTbWvuZZe4RRFl.9lsTro7tpNKKfcH35uBhPXTkRphTDbgoZeEXZ4ZCipX3E1sHcukIAWg6w2HnEiqhdNUzN4kaRcEQnI_G88gw_gMnxg3LmaKCyus6QaWXoCWGsXJWOs8EM0zfPnq3TsA9VFNddJvuy4cqIYzk"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d59081bdb0fe15';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, "\/1525.90394?__cf_chl_rt_tk=awTSiytVZ4LtCIKIjNTfPoumGCXdmC3mjxwZm5txzqE-1744155151-1.0.1.1-qT13PBkZrq4QIPmeEaMWfkO0hdOCNz12g8ePvcjnOV0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>