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: '92d52f1d5ead1a58',cH: 'qrHj0RX2Ix1JkpgwvCmwf8xm0OulLxvzH.kv2SO0Bp0-1744151162-1.2.1.1-GDL1neG3SJJaFfziqGbJmT_GSi9Duu_qDKTki75VIW19fwTujwtjiDKvco2cNEuq',cUPMDTk: "\/1358.81080?__cf_chl_tk=R215YwxX8aLFIcBUu_3AWBr2Bxte4ovAUY9K7bDK23A-1744151162-1.0.1.1-r0V4R8wt8uLrfryY7Q_lxgLmSi3MSmuG5JVZ26IwDwU",cFPWv: 'g',cITimeS: '1744151162',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1358.81080?__cf_chl_f_tk=R215YwxX8aLFIcBUu_3AWBr2Bxte4ovAUY9K7bDK23A-1744151162-1.0.1.1-r0V4R8wt8uLrfryY7Q_lxgLmSi3MSmuG5JVZ26IwDwU",md: "pxi9f6HnvhG75Gl8o0s0r_z3SBAKB9PLB77R7FzYOdg-1744151162-1.2.1.1-psdDyoLNDHYvKWFV7SMlDerNulYMzRjXOdMe9QhgCDkgQun5vDJXH35FS9mEXXdJNk6oXp68yEgIbi4jZ0kbJLI8yoTfyXTKe3ZdYKbjnSgTHf7lb_xkaibE_JB0WduttrPF7PH8Q4pIVF9F5Nbm3_Bc7_pwSTNss.kjhwDFltqSasfNmaHSMiOaF5xhAAUWWWpKPxt9npYKf5fFSCmv2eK1gLosFH_ithMLzA.0CrqIwkChSEVdhCnQ1jMrnsIkbimCLNqBMfRfqjaAb2OraU1pts_Q8FLBSZweJEk5pOQP73UQp2ZhEyDdpkOO0Y3z536aA2Jr7Y.iBxZI8N2hXsmkqfmfsWvoYmMfKGQwpqIsbOM3V4xhpBz09P_2clHBLdASW4X7tC2V.KrGR.XENppjS19hklXuYOhWeoZwQhs00HkJ8YUFicU_9rmyy4Ff0._SgWp29zaSQ2D2E1YpSHh0NzuNBcYr.6lbMAM8l.qSKLiJbSaDAxd7vQ3ltCbKKTSnxJ3oJ.S5Lme7PF.dMRgYygdppneoMQnNk8gVhiotpAO9GmbNJYUkkhz.QkczJrKXRwpvLM3QbHmIAffe7b_9n685smKgPiTBSRIpMafld25XiI6uLY5phHsROw.k_dLD1IfX5YGjWvXxkBxg_PR.kcLzPW93N9I25OnTBYcyR5RUrQEyM75QpoDBQl6XTQMiOgSRPeWv4mTf1NZdcPsf6snUg1iDbpSYdy.leRVuHOFC0Yvm_U0Or._VH4WZ8L3OJrnm4IuIt2jiYVxrQgWcygLIG4yFrVuh7l.GXquu2cxWqpSS26FYglLG_4DXV5xVmJ67XCgXC9UvL0WIxagnD1A_AIJSLZ.OVma.QnVs1I3cDXwbMV6Mr9ac3NOab7okkhbEhAxrbs8t5nmB8ulUBQJtbn6ik1TxnPio5xe5tRapmRyxDaKnXOnNnt6XtW3OzNGwok9uFerynAiMDYoUl1TM050AjetUD0LQBwLUlmcINZmA3.LkTno0VdphbhPGMZ2WayfWEW_xp33Jjzyq7mtfmnHY5YseoWb5fOTNhYGCKYhfYaUEQueqLoPV_kjjW4dRiStOeh__sGyuAqVPXPOAAWrUyH_aFZuPbbW.C1JZOyZd8PpN1gleqEM7RVVwjyfalknmqrg2XskqvI2E7GWVJBJBz3bD7zIP.48S9ez_mkKRK47eDvRmm1bv",mdrd: "iMAp2PfThAJKZi_7h2OQ2wCiaOh33oRgs8sIpyOI_sE-1744151162-1.2.1.1-NMZxATGuRocTQr8NEqInMBKvrmGEzrzE62oN90b_bY4keM7_QT4k4XZeyFvZLWCv1CVY9ylJ.hMJfOx0LbswZ.qpUFq3hU_SMWgkDpirv6YOyCqdVAQQOKx6WA8ljkRMT4HfRom_8UOBfFEAM5KoSfJYTVuTADhK1ReqWaaWV2o1YC4mnZ5ajluFIyoGNPeoCwLS9Tg8q08k.taNLb2bCN9KxPzu01fbaJxtBETC11SWpCUmQpK0..5M6iPKEoE4CafHN8_zapUhvZud5wJvRsA5YQTtNdFwgC.Cdqf88STK0jVcKXjtGHXX1KaOV7Tyy4B6MwcVHz1vWwqmnabaNUaKjzAppXYCg_cBk3QAV3hfHXhver5QnGjw_I6fAs85Yh63WPndZwfdLTAT9cmyVL3LTY4C4kGIoV3ax5_K.yKBqjhzYc6my3rVLWbw2ZmiZAHWx5F690jMZEftKexli7aUOv6YZ0wty_BO4RkSxjgGF9mUri9x9u_DZTHN06zFCXb8UoVAmTXydyJIKR2L5TeH223ukEsHjSdnAAsM_evb6FPwdY0uHiFVs9Xo4dmeMKW7lEhZVTwGOw9dIoDMMTf9LUCMh4b74VV6sGVFwadsqVZ.62lg9mnr2icwt5s8ThQFBkf_ZsgfB5euM_nI5TGx0WXzj4L0cE4_6i.D.1Nt.98cxFK7mfSeCtvQORzs26Kv2BEjZF96hAcFBhWn07V1JNCP22VM.kk9BPDcN6R7Xf5sgLI26ruCoerW4a.CW5EI0Uz0vYJ2CznF4HbNVNfEDwuzKzK25DQ4oamP93kkUO_l8eGvz9SUwJaNldZ91xyC0VAK.HtYBcTlhDahL2l7cFYTEefDNrebtF.ErB7KcM.uU4edBUICHZsWeFxKxwOV7MLjnCA4KkQESPWJALvcALMrTPckkVapMUhhaZREx.GSFk7ZEikujmxrHsDOAFNi9sijGl1WTUCovCzmyZLicSP8Sd87G5dQ.n6o3hlLvCrw6EQfWypT8zpKd9EdX4vUdrMkR1AZ6fw1kGqf5U.iop3rki_DckNFkFWZV7EXR6X.x.xScIErV_tISllU3UbKo6vBzf0FfV3qMcceyKrSMU.MxDJa1TmZxiHZj4uJ0jwyHL73CQoEtJu4YcFEivJhVmr5OMLawMF3Qx3lTpwtoon6_2RcGHeOPMrMrCQp_J5Dh7V8jIO3juKYEY0u0LCyqsDXCnkRl1O6P.YS_3U8KCFfPFcoyCS4K39lAx.9YxIu.FDeuuHuopHefeDffdnpE9G45C8aC0joG0dRGUyT7ws0PiNjSOhRSXnUXkifFi9U.tjeIwQfzXhxmkzpOkru_5y5THx_6bavdv_XljfGwrSnvfaIsASHtNPtWzo9Q38XMQA5tfs.dnx7eCiP7JHH4AY2hLE_zPWjepDABAunL2JEN3.ahq9gokQ41XZYux1U1G1y7rTu7LODSmZ4zhvYD_EdOAq.7wQRfr3fyok9TP1hc0OYRH_iVs2qP7OHNKl50xtA.7MKNWLQfDTE9lwGfFtATVso3uDdXVfo1ojso.wggSI_DQlUQoh.ajOnu54iCm_BY08ytQyRVkFF6Y0gFQTch6SKhEkoH35Z56Zwiydpr2pkBN2jmxE8EDEzEIsWS9F6dqUN1U3Pu50L.KZNGX9Sy.cAim9dYqAwqd3.u5Vj08NMguM3Hu_XrvSu3pDm6YbKbwbEs0s.3bLV02U0SjsG1GDaWt09Ilf7an9pxeatGdknhK5wZpW52BQTImbLfRgzZRC2GaTrWUMFybS.Zo7Tj7Mq2dVTkJ1Te3ojbKYoP0UKwpZ5GpKTR.prvfmOKukG5srqPKHYhVbtvQhRgqyJbl8kCUKScWcvmbDMG0pUXzHErfeZU2WoFPt6jkmC36kLjDTNKx4CZoX5xYNSrqBWy_tNVqfil7cuWiSvWfa31EVuzCl6vYhrhIYFp7DjyS1f1cGhVsyJiHno520QpB2tsU8Y8tBSbHBMp71glFhU8gVJse9icOpEbnD_.xGg4y1y99hr2qHm1nbp"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d52f1d5ead1a58';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, "\/1358.81080?__cf_chl_rt_tk=R215YwxX8aLFIcBUu_3AWBr2Bxte4ovAUY9K7bDK23A-1744151162-1.0.1.1-r0V4R8wt8uLrfryY7Q_lxgLmSi3MSmuG5JVZ26IwDwU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>