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: '92eac8358a30ce4b',cH: 'np2fyId40EO3X.oipfeYxeR4phbZeiAPC.6QX7dpktA-1744377634-1.2.1.1-YdlVrTDAz5VYdnV9rsxFOsu0sMheRiCU0B7mWujX9WXkr60BnuCZdPhZca.EQ2Bq',cUPMDTk: "\/1205.93076?__cf_chl_tk=h8nHmUn5LSHF5VQFQAihHjcHcjWkyjast_4u84iZjs8-1744377634-1.0.1.1-hhPT_vW1tSi6xAdDAACeZ0tsBPF3Hnr.sWK.ewj3F9U",cFPWv: 'b',cITimeS: '1744377634',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1205.93076?__cf_chl_f_tk=h8nHmUn5LSHF5VQFQAihHjcHcjWkyjast_4u84iZjs8-1744377634-1.0.1.1-hhPT_vW1tSi6xAdDAACeZ0tsBPF3Hnr.sWK.ewj3F9U",md: "BmbQtGhuF7.bwho6vAHnlJ7zaKrVHE8yhbd2cl7j9_4-1744377634-1.2.1.1-QEOzY5dfWASsYRLr7OExaFwcWT_uoUE8FQQ69ncgPi5iD1LECaoN2KvdEfZTRGRpyAsm1ZMmlbHC4YJFC8axIHyR0G8FaEUJCKo157zC0uI7oQkW0M6dYweaqVPp9vfPWfmTUKdACyH0_aMZLyAfmxs9XXTa0EsbXFNhlOCScCs6tu06OHB55uEUWgzR31iH0Y8NzmywCtm9Goh9jzL6Saw5d8wuQxxagDg0yTu.PBYMvA0ZIutCUc1vuC61royOm6usu6TsAZLc8CsmPG6KesV9mfgd4XBWX5nQOFD9xd6iltAzt4PqDZ2q5xM42q9SklBBo2wCk21OubsB86FR0FHcxP2MEllKQDFvR648nc_vqIcRD4eoJ4NHbxJvn2Siq2SUmU9Htz4H9UP6njrYs4pmseyc792GY11_7SjRGcBmHVMjbXxMwwnDSvsGiBlJe.YwUM0c8Hmq0Z8tSGNc9GMqLE0vJChthxWHIYZFM1tRy8IWSUtErGzTAbxiMKCl_5g8AVgMMt8ftZXAoQtvI5eazRSCeY_HhrKruipVPD91LEpnXBUH0PjouhUa4VBkabc6Z3LsI9wP5Pf2l.7ccWeNlvv5RcyPwU9BrcjNeTJFT8xPM.DpxDzJ5RdWnjmJKetBepX8gmpBCCRsJC8F9GBz1WsEA3Q0xSFeWN8t4fmqUvLpzXv15zk8dzZ2nmVwEWCQb4XM96MBzatgwBnIqUhGIUB7UdZoUYMu7ZvxROyp2_6qbIAp_52f7jQDf._.aO4I._ezpfbq81nHWOii_HvVyqHxz2Y0dfD63qPmtulspzli4C9KgOO2XcImqmQWMk5TDtCDEyEjAEC_F5l9d0UbAGMmPPfmF_7cFLcdPWGFu7gJCYspb.O8dnO9zvHEvCdhGz6JUuuFQyG9t_FdaYMnkUv.1cE8sSbKMfHxwgQMZZ81krh42QVY6EfBM71NhG.N6oiss5_6RYvmQmlGyppLJbkeVB2bzKkn7wuzAeclpimI5c35941S2z8fcDQLwfWGAF.As75j2kiKdeydAFBI1rKcqBdEwEbg9m2rC.KAkw7nOQrpeAKKEan49EeQ1oMGFGIl3eElEPezyAsL3nB7uyHOxv5jiV.mXcMzipI7XDUgxH9_2PD5M8ehVOVEgHI55qenIjP._vcWjiplWKVdOpm7CyoyPqIrVM4U_.PhgdlmKvzGoyuU.pJvWwfz",mdrd: "QiH92RPlvrxSthLmBYWqanc007U31UF9SSM.x01dhgE-1744377634-1.2.1.1-TiJQo1wcAFtyYDCZLixljTkUlWytxpAhWHmqhSu0FPuekCbHZwv7OJYqP3_YmexyoOT9c2AX_ZD1wMLJv_QEeCcTudtI4DJurDrRhMMtrrELXDhinZIxLXE8YBjaO3GoA1zwz0C4C0aD0msfICP8VBo5YkcfZ.ho9MEKgGNOcTPna7GcO2s__TJ1VBqbV9kdyJMQ0p70UTiX8t_PcjGWYb6.He8dAU5.8VTjT.5LtMI8heEp3..hzAM1bUq14DOTmgt_OIrLOTPK06syn8b7FXLgPlOFrWx1ELDK4QdSDtU6iaujHfcXIYnuUf2oJtQHX5ZSMtjse5FiYC_JpYcP1gV_NewMOMo3Pfbh4AMpdc059Pi_qlb8IH6ZyHTxjUA9hKHb5hxsPfSemL6i8neRTtqXi5W7gllTBfbU4IpPM9EjkWAbyyPmGrKa91DmvWq4ckxJq3Vmhq3diDWJFvJww6gKEwe1u2gJu5uhrKqq09.zVsbJ0kRX8MsUq171lbo2J7RR4XEx6sgMJIZIGYRlJLEmPXQdnFEKWscNVkwttjqd5ZpWcN_vbb8flEd_begt3gHbx10ySFuHCa6fTQaIJuLsVAo_MvjYnKAXjkm8VNnXzCHI8vLO65EJRXGK9qeKSrVBjLgSR9P3C1xe7HkFvDAgucFrqsDraOVF3kH9zizzxcsqDLG.yF5bkV04GICfFFSsUsOPtTzSFsAM2ez9_940hSP19y7X4bvCLiMwK..vnjARS18IyPHMqh3bTRFkRbwzlEyaw5eHMwJDZv0VnnyMTKbG_G584eWM80LGT..LZ3pBCIa1NM0_4JfSIv7Wm1svI_0ECL4HRCuzT_lbqLpj7n1RqSFw8v6jF0bB7cuPTVnFQ6C3TDRyhzWdsAo87lQKF6COgxhiRls8Bp4RU_EuoddTsABDqaf56Fjj3UPniuBY80seUbHTiU4Km9fSyzLmLpTMcv8Cqm1HSiQ6GV8YB974jnYG0r_TXH1VaqxV.pt4PzyeMRm25HYDAC0tsjCZoY.4oWBRYAPy211fnz6fJo_0qy4zMF8nEkKkcR3kpSZePmhgEXnYuAx_SccsVc0zaZ01Tt28DFcQNH3CJ4Y0mx3nwggz8kZxM1G_dlBNhF1x.b8qnAgljQsVgeXlg629k8m5R9BvZM_H5Shz5rb7Wp18hTgaGx.iEied1mfj__rXR_tNo7YM4M5cCJTg3MewDlNjgqptMz.5MlF_1yYNUBHAUQjcvjJfbAS2c3ZW4juQYo8Dg3VaGFaox1ZCo8ZSJ.K_e6kgAHpu2pmMecFkHx1yt3SZT3DwsxcQd_uQevnOCiHZpeJ19sU5wqHMfSPs_7PrWv6CGTqqGGFTew7S3fU6AdOHf2sVFquSbUjrt5RKXVv8vkHBjDAgRRFTpv3W6yX1GlpxRLeRtAt3ljg.DVwlhgYSfM5tuXOfQHRlNIoqGBFluUmgQuS7IPUKyGdoDs9N6l1ek8P1xhznV2rcA.f7TabcUwHFRdsXm1fZjxIpcpAJS5lyU3nz6jWp4cu6p44u3m1dqFmNw.lpx_KCvWXzD2KVy7U45shvP9ZX8xhemQT16EUH_XhOyZRwG.RcqbB.aoBU5O37J3NjezFXhRql0x3J7lKA1jLFhcd3fknLpvMBI4uwk.5fXvb37wLtWxp4EXvFTrCfFBrLqZjd9EZp6UVYLjPzY5bXrc9h8m7RgdIOzWZOStEmCFrscw1ayxpmYyydqcliFQxTAxIvbdxiG6mdSxpgnq1MCtly2bpKeVFrJ6OYub7e8r1j1z5aLmK3G.n2ylmgsV6Xzb9FR.Th99tj4gqyq0GZh5figpn.5WYWkxcdwTtj3Tkj_0ZDYxG3.fPFXu2rwUU.0midg3c3dwYozVnQDJeKSO8AWG.m3orIjYIPlj.sZI7LWLbgRW7ZG_eqKU_O9IBYWBc6ncuU326oNJhTJPwfSYofp6qNeDbNw1O_zPWkTkmEPx9aVNOz22r0p4FfE8Auqt6mLejHVSGUR.tSMy2XeUbKBBo0JhrYCa86TjDgASP48hsn8NBs_owlu_Igx5Wrsg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eac8358a30ce4b';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, "\/1205.93076?__cf_chl_rt_tk=h8nHmUn5LSHF5VQFQAihHjcHcjWkyjast_4u84iZjs8-1744377634-1.0.1.1-hhPT_vW1tSi6xAdDAACeZ0tsBPF3Hnr.sWK.ewj3F9U" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>