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: '92dda0a42c809cd1',cH: '4dS5o7096OHzN1zmaUQq7s0.tSjH.DLR3AkNHYVOMtw-1744239698-1.2.1.1-lxSjp_U6_7RxPKdGo5vu0MNK7OYv6UgNu.FTaFHtCEyuaiE17HH.P05R837egOSl',cUPMDTk: "\/1450.62067?__cf_chl_tk=q5YkhLrqmJD7Ud4Ctbdx1m6nYutRzSqGHG.UKi5BV1g-1744239698-1.0.1.1-9A9PTdpy5ND3BW16cdUo9zlzOjx7ceLatDe91HxzExo",cFPWv: 'b',cITimeS: '1744239698',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1450.62067?__cf_chl_f_tk=q5YkhLrqmJD7Ud4Ctbdx1m6nYutRzSqGHG.UKi5BV1g-1744239698-1.0.1.1-9A9PTdpy5ND3BW16cdUo9zlzOjx7ceLatDe91HxzExo",md: "3RrYESIBsleSFw88DCjMnUgI.8vsKfnLRwabZKab.ak-1744239698-1.2.1.1-ZVMCtrGg4fcfJuT1ZrIGx66DAVsuqEfC7Qn_Ut3SuyjZj5ynl0O6qUpKFtj.zSyWQ4.hIfELoMAgpJT3N5itpSjoLN.oPXUHPOtvPgcaBXkaDroeCqetp_HA99O_WdfPAQaohW0cNiPBszihToyu4oqf38j82S2D2LHzDIFv.TFOFLbIhzaYjJCv.C.jMMnTLNo.vTOaJugeoKGLpd93aOc7x1H1kl_Mz0MliB_CxfbT3Du6JgEP_cgxYaP1Jy99.lVPZBfcnSAgm5zo3blbYv7ra6r6vt3VyV2EyF.vaXK1fE56FY.PdiZRPuXj6cX24zv8RtJwcJA7FnM_dBIiahOr4vxV6pMrxUVYbHVxjmma4_dteQHHw9POm1_7Z4o4ac0U3HrwClRfnZb0Ga058lEcmCiry3m1nsxcHF10Q3wNwiJzeb8zUwoO6piz603vpRZk2XaJtRMLKXstuTgQWyQjIr31M_k85kYl.e9RLdfBNYPKm8gyQ6r6vZ.9E.j.l1XLw5lR_rmZOQBRi8ooKD7._HasFn8LFmSBNGyD_aOEQNBazmEA6R4JlfJyj_ZjAce3d6JxH.pju4gZH1cyIkfe1lxL9gFSa3NVWInfOqQoaBnxrxyR0sNrfGXJxCeH_SAL8usfqydRS.Z54qCJgndOjjRRRUckUVxAWYSMFfPnA6SEhCs2zWGWRQE2TlPk9T2KjGAJLpfpIZSoeKm.dx_YrIskVgv49UQAvY4m8lGsPnL_vDYQ2.9lpRAbjav2xHIRcrZpDeFvsbsZix1VSSB7Wi0CE_X0yzjw8nLHKiQi2vsSUAGXqEXX4Dg7TKcJQhOc1KIIlRAfoeFXniMzEFhFL7knt2ChdewtE8Zf27BX3DtmYZWwdkfMDn.854Df02F4T47drna6lMqbG_rKPFApcPn_IyxMvmKJhiU8c_5NeHLJYBYta6YlF_6Ae9nK9Wkqib4qR4EJRv7SKF4Jc6b6WDj_zzDtsJmo72Qjx7iGObnI94NCxD5xZ_5cKypM2D_1bpt7u2JhrGJD9MyYJOCMMiJuId1exhIrQrJmw8552JdKk0DprWBohzoKr53ioVj8TULyxc3Y5myI_aPn5xugpmRaqAwu1b9fqTWostA5zFA7oyBk1m5xzFk4WcZzW39BU3.0GEdLfu1MwQbNsLS7V0VBRvCBgpgrmqBWMGh43yM2G47EnkcVTr.2oFaK",mdrd: "9JaJBPeLGTZ6.2VLj0h6.205V_RCNwMOkniUKqROiKc-1744239698-1.2.1.1-MdyIu10wRjCgO2PB.1kD6sLv0r2N975XDwjAk2SA_A8S8Cgr_JrqZZGQO97V7HnfXkoi5OPi7.uDU7h0EYJJYfDwfeufcaN.9P_0ne9UTozpwEZAOEJS4acdCCSJeRO93eBr63CjEtpgCJZrYbylO2XSpuaHh_41YmoLMy4addGqbVG9lYrWmAkRJM9bx95W.4EMCNlLnRQKDtP56SJIF9eZuIV7ldvxlUXNxQi9aL1g_BTNYKhzw8CkjVAd7kk_SSm9QvsqkXAjDRFLNPmtmmisJCfXrz8rA5HrEpIEpGE1RtJiuZ_NgmQiztF_SnCUJWET8IHOkk5mSnPQ1IKfAGUVeECFff6Ix5aucdZdB0MA2yAVKKNNdldJ7AMraCncvwFY6j7vS.i2PolqogIRuAOZiJBUWq.7jxfd9WWt8rxiSTjXrUg4XIFSQEcvdVq88U26i8LZp7usFBjpUiuoO.9nijrFrce938NjGhsfkR9m0if1V3hIoP2GCAJ0IOFbEiG6rrvlFCrtOG1BK0IoAosEbgoPkDjZQUU__DGWh2JRmUcBAW4KdQYcmAzle.8jbWJ2ZbNtwWhMhjoCr0rvCvjq6q8kfyHu01esNwfNXFt.avNHRbHxfuF7CvCE4auqxAf1Vr6PTg.5ZHXNdBJbBNRDCcns_vlyYmONpoS3nsQf41EoKFsgooYcdoT96i0Yrvq_mFYIZxh1.PRPVxsqH8gqT8P4SStOkTzQeolU8GbI7d5WvIR2KYw7Q1.KKgFfFLlPxyguxp3BG.mUY0L.QZpfVFqLeECrTDpaHq_FvsCLeN0T6GmNYoOHd3wNAHWSo0hpSfyQQVq4lU9zN3NEQCysRn.zqe7NHZs7nzMavAlDS9jEGFCtoXxfwCXrrxxooHFtXvMLrP1f1MsgZgnh7Y_COBOEZiLhRINt4odHXCqxZHyex4TsfVZkNPgKRSK27yYLyHegpahDxr8NDRP.C8ZiQiFjuprUZgOW0IJR1j1JnjweJM_Mm44Een6Cqvl.PhBxiVRhS2Gyr_CqV4gPLskdg_vjDC8eMBbKstu2kVDcbtNL9RXscY4ODtGJ1vZ2dFYH0n6ZwiDLXGdbIQCn7.jaOEAgoBDLdDi5FjKKQwC7lNp7GnT5GDTCEKrobh3VzH_jtCeU9NqaCIMMlYR3eL4ZWj_pd14YoZ5e_Oqjn4TBTCS9hrzwfpAnYwBsw1UMy8kSggdpDhxnMOSTkPdzU2ixTPGiySMhayULYQn4BcOYrlK68Lz1TX.o2_wguLtSIcCf0IgQR5lKCWURjM2TTgiKq.qcPovbj1mKYrWkMpJg_qMG8AjBge.DLH.osSkY8aKTIPFfgeE7vLT4qmSyWJ7Qa_TS.fA7oqmnO2Nm7h0cSZM0sh.J2da6g12XwUIZpDl3Vcn.urgLHTdpXUy3lJqXIftyaRphE9vCXlx9rwL5SZ9LuGnPWRpGfqz6tOnXpxgQuiExi4udS8YUUIYMzivBVhHjRp5Py1kp7cpT.pnATe8lOItJnfzFYRlLeYkHZuWjRL_XGSdE6vW_hdtq21KkBPgLa7.oOBkKB6vaOJAUlCy1BG.tKm9iWCcovnj4_UBC0t.aPSyzDAoj70OhzgFdu5jfKRmqrCphYp8ix83qWLvr4BHzor_aCBIzNVk6yz2hQV6BAun.IhIwBq9wutY1GLogghNT8el4m43aZL1.NgTup3LWlcFjtMIoqRhUA0nyrcRR9NDwz0P5wZVpO.Cea8oznzzIAp6OP8iRQHsv9tj_3RHJ1FjDhNA1VMf5nSGzFT_5myYZ.xgv1laHjDP_nGase16mAqeOwHW74jAV4DpAsa.AOTh5.INeVxLKRyTjI9yP6nd7PkIiwcGlAeRZyM5W5kHKHrkOYoZm6JPp12MURDw5KW1DD8NTiTtp0Ky52OeeeKHdsbmtasFHHjh_GxFyuokqHf1TNqkur.PgdJV1EGvbhwIxhokGMnPUPNWjxJ3jjm0H3qch6YwDotrhBcfo97bJUGz9VwFt4PzqqmoqziT2kIf03KOQnPV7"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dda0a42c809cd1';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, "\/1450.62067?__cf_chl_rt_tk=q5YkhLrqmJD7Ud4Ctbdx1m6nYutRzSqGHG.UKi5BV1g-1744239698-1.0.1.1-9A9PTdpy5ND3BW16cdUo9zlzOjx7ceLatDe91HxzExo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>