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: '92ebfaad8ab0aa81',cH: 'nqgDAGxj3JYknN0faRWDmD1B6ScNRlxx4Z2fMbTEaV8-1744390187-1.2.1.1-aQYYtYh255gkSxLQejrTFrsOESv1tD8.d_36KYbJETexsIPYR_6NHhzea2XSrWaL',cUPMDTk: "\/1215.90005?__cf_chl_tk=02gs1VYiAE73uik8FFM0g9NgNQrGPAcjAa7SbSXjAi4-1744390187-1.0.1.1-V8J09QLdlCBgK16Xf9.lPw955hisqflg2igSL7gja24",cFPWv: 'b',cITimeS: '1744390187',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1215.90005?__cf_chl_f_tk=02gs1VYiAE73uik8FFM0g9NgNQrGPAcjAa7SbSXjAi4-1744390187-1.0.1.1-V8J09QLdlCBgK16Xf9.lPw955hisqflg2igSL7gja24",md: "i6B9qETBiciKXg.EYjFp8pwpuLPwSnCwffgzs0zISNQ-1744390187-1.2.1.1-BeAfvIm7_vFBYFaAvzjGMsU.oCF59bGGPV.Dfr.F42NVESGf9tA9FvQ_MgW1zu5YOPwR2ZMpzMr3F3Je82WnyRQBCDyNZ.24u19xV8rZ_kU2PrTtAqXJ1eF3dlQAIaBZ2txM57vHMBB.9swKMRg_i76zgW7LwAXYv9p9ilsIL6H5LBOvn3MLd8Q8dJ2PiRB6TSwLKJePWl3h0eQ.yiX0N3NtH.tzJQiAQyzLYzntNDR40rVbq7XtGg1_h2Ib3bfGoXHHHmC_cZng02vhG9TsX0eOEb3TafVlhJLHpatznNJ4qhPGvuZrScQAzX2okb2qcJipx84WZ22xFKrnDDMBfBpOQOShBp480fC7y35MbGMfrJLGkcJwXJdyRb_uB0j3Xvi0J4jl6vNkrTdBVvi0QVaQ.owwN1biIu3IjVBaYwgZGMj40A.tFCBZU4.ZvmRhT_atDnIGE7XCpAKhRBcI0mHLg5zzKjW1t0eaHLDH6lfiHoOfZZDxvrPlH3Hjj3lu33yNTO2DKiU1E12DlRewdRruCUWfAx3N5tuw4Qsbdz5NB65J4SE5I3jdzMYuMw_pBGABIaxjDnO57AL0FW7ut5s_PViaOLBYvnmQVeTKaapltjT.pHceND_jHEt95t4jn9VWIAO3_ztO47kF0VRZgUdmqzKAUYdCFJP6xuyB.Pr8f1RFTUEW00g_DddtsUWhAxqHnLun0DELVGzq12nnOmjuDkEYh5pGhpZiVmiNg6Kcp6egZQJ.NroQMC9rkSIThfd6MzhaXL5YopAOxmzWt4gEcTOR2kGLdDsw1fXU10MSLxdbHP58Jfy2HHaGc6PNGlxOSSkCG3C5u0celXwJSCyS2lp6wGP8WR1dkXmZBH7zggLphRcav8n9j76dH179vavdke97WYV3SfAIgpXH8Zxc1SQ_7T4Fa0biz6JAoEmA7uStxZ0XM4u27MBYM3zKiEIMhqTHONk.THJWq5My1Hrf_do36Nud_ado68Ir2e7z8Ogd_EdtApQ2cQeUSbvnI.59Busnvjtlokdd6EFqdHk5ZymkyVDfZs6o8MWvQo1iwcY3u1bDuk53uyt9KAoNCGyM8ofoBqKSOLIptxGG5f9GmlaC1Cr_B.S9Fayyu1CdvAkrxYU2ujd6sZ.HiXxhlBQxpv_DLVeguD.HUfGq1NSJt6CKKr2Cff_xTZPQVOVGXt6EKeDwCDTiYWdjZ6dm",mdrd: "Q6vBt..SwA1nvB651zeZjz6HP7cABv4_2VbLrsPjbnw-1744390187-1.2.1.1-3BwiAJstS8Kga0qkgH1lWToP_Ba_Zk1Qt01e7XRmFTD9Vv.4ysVLLVrfAjio4zXFJ2cMnlBh4adrMZQ5nScfuohksuQmBRsU5FGVpI4NDEn.j_4kaewcn.9Vgg6KUGBBsYepgXjEbyFomz8vYIZDB6VkOnPqECHbV6AsgZgtvBHs.CKfmcYfdmP5GjKz2X4thu89FrVPZIzNjQbdFCW4RxIQqO3hQbFzibMCrTC_xEmmMSAa2ZIl0lHqMj.6Yk1IthYKejFE6vOxMI7v2cmURcS_TD0cTG9LpPHBVZteOIEbUQBrwFz.EjdXBUjDCaMmXFq99wQ2e9fNWnx5m_uq3m0yUCKZiuJYRANAMr_dpdjIFZgaUeL9X2fkXwvZZ2Uub330zZ7nvCZt.l4k.YocsIsbuFNJNPXQyA16.Wm3CVAIzkcsuPfIrRJP8FxVM938KTvhcuiVKPXLaOamFNL1vRJszLOzQfgPC1uPN23d1Cmn0.PGsupmdajBuSZZSL0Bee_8DmtaJ6P2HpuOC2qJFrhsmLs5oSan9UKbhBx9PtiAEbWGvgXUuwj0K10Ge2zMhHPCAFxDpSRbuX10BrVyITN15T3G_A.NuxDooKEC7uuAv26aCKSDFCUjktPtp_FZp8PFjdS8fzrtMlEk8OpnF2axbCQpHj4pfQA8a83yBJdS7YW5jR5UNu.DBd98Sn.RxudG1VAKyadgEqSU_pwqNBU7TcJKTDnbhNXqTqSyR0K6Z7gMtC3MmaiEUYawxyzmp4ilBLwrekJUfduwfoseMSUB5NmWTuGjZ7oBNczD0DClTzuX_AMfRr8q49YyzKugrjxcFEAkpQgELhaxgl7JjDXu2lqX3RDk8_t8UHXfJy3ZcknTq_dMqk0eMEtWKmXDgzlqD0x1139fyRKkl1Qxvwcv0E5EhMIKJcEF.zdWIYnnbuIIQ1F9bWbmySCfiupctdpN0KmxAtAcHN5V4rNl.itj9f5KJojh0z7ZwQ.NS_tzo4JnRzA3RQ6fD_wT8bblxScFVjPvQ9LO.b8ShiyXQU7td4LXXOImgcnj5U_TUbsaoDdP1roEPyu8f7bk3OEzUolxrQmQcq3Wzy2PKri1C4rynSnHUFVnwlXd6IotezQnCr7uf6HVIEHacaYCYyP7nL1pA0cHYFa8yJYfXH05Tf7ywAs2p2zVEGdCkl0zAvGq8_vEXt_WhbKLtUkx8IuugSjS8L0G_RHeqkPoPSV7kW7jsmiu17cX_eeoEfrEMy0gCl.4X7Nvb.YB4KzuJfDidwymsNZLnOuvNTxQjLJ3Ghbt029jh4KCNlA9xUUH1xRFS25gT2wdcQIRbwcvramK0gPnkOlo8s91fJg1E16QxtZ4zdEHS9GLXkqiakY3J0XteRuaoNZ9j926sLTZDaV_8kity.PPdVxx6zTGTtrNsKxG0s3FJkxxCcncPn1ESK04QM4UcGpHh.Xn8_avwYupiWEB15_cXK1ajC15.s2FWEaa9cVlWuPPTdQXnbhAgVw2OexOBoT8diPcZDFEmLbI78O1Ne_zmrdki7TIUsG2QtN67Vp6XJozfLc8YDNvyVzUjnEqVcyA.yVNy.Mei_dFmHFPEm7mdUTH7qrA_0JstpZGOBVAyc4izqCGn1QXZgnvSuf9mqWIgbI9haEHi4.6i00cQGrhtUaWGh3hQQrpFhZ071jI6viRUdTHEj.AlME57GNaSIfrt19rLujuxdTdCgPVNm74eVLDmRouXg2.UJWP00isQIP93_N2yQe4_NpLO.XBDLWlAhfoR5LadyoTUFRgjE7bHE.zyAJCRdKrmGFS92Wij7nfgv_X7lk4IMcY17x1f7Zz.SZf9c2GR67CN60tWBm0We8uUWen6rC0wfbEJ9oWKmzg2f.CzIqqo8NoHAI4bSQHADDdj3cEXLqXbg6k8c2Jaqi6Xb9VfyAeq6kLL29gbt1G_GpDzeQjubfGckhCF1hXXt1MEUXHizXz9ufrJk.GMjw_ALhUEQIqhPhgEkzQ8TMBy4LlHDcVHcckgZT3.g4bCvhefP1Z33rX"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ebfaad8ab0aa81';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, "\/1215.90005?__cf_chl_rt_tk=02gs1VYiAE73uik8FFM0g9NgNQrGPAcjAa7SbSXjAi4-1744390187-1.0.1.1-V8J09QLdlCBgK16Xf9.lPw955hisqflg2igSL7gja24" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>