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: '92d88ad8686681aa',cH: '3Hf4U5mrIQYYgpCyd5NepV9fK.X1sL5eWjD56Q_nR0E-1744186377-1.2.1.1-WOE8_fW6dih2mdeyWCoCZud4IcSNT.qhpFXwlC3kAWGf.xdDeb5YP1p._PWUvxoA',cUPMDTk: "\/1461.93133?__cf_chl_tk=UMXB7IGdmkNMewW_618_RH3_G3Nj4fnEL7RtqvN4rIg-1744186377-1.0.1.1-ftJkynDeYa6A7RFdKT9C5RG3VcQ20eTcZXQtOhVLakI",cFPWv: 'g',cITimeS: '1744186377',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1461.93133?__cf_chl_f_tk=UMXB7IGdmkNMewW_618_RH3_G3Nj4fnEL7RtqvN4rIg-1744186377-1.0.1.1-ftJkynDeYa6A7RFdKT9C5RG3VcQ20eTcZXQtOhVLakI",md: "SXjPz4t_QOPCeyYCFZQiUtveYI2H89NOQbX8cinAfyM-1744186377-1.2.1.1-2pUVg0VcPBjRggrmuXOg.IMWhiYt6QEDjB98W3PKBnI88zrZTkFWl8JORKYVbTd4ANK1iMXNHKwxdEXnLN2wqLt5AGKrckA8HeQ75GjMTlnyIdTk0gZR3fN3ps67WV0mOe9Eft537cVO_rwDPUeWgrfjrQAWQlfibEm9PZq_EpNfWsTAyYR8fZT0DGdT8GHg2aqLbRxvdNoeLLBMr8HOB2ei2HHLecodUAgVM5tk1Ra5xC2wCs0K4t8Lq8ZMs7mk9WCmsAn2.2pqr9rnFOME0CulMDz0Sg9wxN1LfMF_SAJtEQCEUpQz9bNTqp_SSybOmVKHWfK4qzuo2uc_F3P9bCVU9gSmXQ151u2b5KUgf1WVSh7y2ZbaexPmuZX7SUFlyr6WjcwOh9cThDrkEJUz9BaZ.SV2RJ1Oq0.VVv0685h5zgncJyx1eHbwqV5keo8RqBvKfCR5RP1UTODw5LrQYu.nW5KRJLIvO.PACqBfTEs5WF.13CK.L0.hGOBRx3V4HVpEulAxz81KB4ILDE.GErPfkP8vi4cNo4bvhQoofce4YuZeO_99VUvTjfAfGkZ9FCqTW2ohknfepTDiSmov5RE3tg0fWVQwZFsTNCW8zGJ4dpnQ1Y_5MnjRj8MLAK3rgiVpYJoKbJ4.k.oEIZOtSzslAKH0.vCiAGcTeNMCZDR8nbqJ9VB4bCNgLBXVGlUB.LLUy1VPEKi2iUB9hQNp7HzEmbLrJibaMwEoWHWPup1yfku7NPa1k0GzDv4mEVlElZCl4WnCFlFeEaNhSUjGsRxLa8QbcEJSjMEHWSLIWofldARowbxZaaT3QRG2r9aW_etJMmuh5rohvFYxpfo7TAMLzw_pM__egxVzRudIUrdRmiQvUqO6UHguPIQWDDVC9vFKIuwmKdvm4LzjRq0TDxug.s.eQPUF_eJpQWDbfvwpZc7SRsf3k6qP8LOObC4QEH3uRX_wGWi_f0tslmsk6YMDXHKmpkYPLVz8d4oBjoa9dOnObPqcEjxMMwmFbdP206Zi744pAu.Cz3R2TaNJeYn_k9nWE_cNoxj0dhiD.kPapWvY3hlwxfmmp6I7NgqSVWXX3i9X4kwi._2aNoYk7POf7xGJ4T.neXR.ejqsY34FBlO5hQQwCEnbF59ZsTvoc4bP8vvjdojYfVutvBlodQgU4MQQBhWZt8ac_cltvFqXgfys7Vy1ypAQXXmuoX0N",mdrd: "Sdc6644w2WLwGEPRQHw.xnseBIBXrhAjkCu354tIDGM-1744186377-1.2.1.1-FkTSwU16Vb25KFsVBCE9sxwbsTwT9EVwkzcrrwVnTie1rXE_01L9qF0uw3jiU4.SLic5dE6ATOBG.dUbgda154.lWaX4TgOfuBIPNtUdb4n44GILKHwJpB_vY28VTf5AP8qoPQE1srtxM_D7V58RAKACL0nXjWRvms4g9L9ci6R0vHDWKz_Sqk9Kq9T9uthp.2WR7xbceTwyW77TdS2JlcT07VXCPc2y7_xwJI5ayAwEzBd.tCYcYlXpH.VJ9_ZV1jBEM4SqBgOSgoh7thZTmBhnas.cCp.LLwgZNSbAdNDfck5uj4Jo6FQuXcnep2xiBuB32VTUH.6Nnbnx1E_xEfc6RE7qIz4ob3jFym0lQ4tc0RxLtuXDcWoUdUy6Y079Vjn6ITIhIqMlKqej2wx4O6SmbZwdnfC_1Kt0xlolu_1arAVBPD_cG3daoF5ErWi2bRFcpgdynqlEDc3EG3ISjv4U8GvneDz2g_b7DN67ItevaahpsIfhJIGccQUHu0RDEMSH6YrHIyzhWbmObGdivVBKJ9DjyxTMU4jNGzkmr3SOmEuI9x4BAw8BFzgJ0jK2C2gIyBm.ouY0TEmpyKUpNny90DX0__6PG_xWaJlTJsiMAQFdy1d3x6T_2kItNN6c8BAdrDVjMlICYcl22I1eG2wbKYb6todtosRLtwWBTCIHooyRshl6vGH3DYs0OdfuFoBgQ0mBFNBv6DKhDWd4MoZob2H4BfbzFrMoIRgiVnKcnSC_WnAv9_Axc8NJHFRGlcl0gz5rSdlfCr6mkupK8CZ6bF61Uwfto7IUIVYizRsR1c3pqyMxsxAW9l8p2u__xN.zIxx8VnkZna2G1MaUcijCC2CVpbsh0RV7xsfUDW4B1MdNvEJWv52zWdos_B1jxqN.vxDVvn_HInqmEkz0uxf6MYJTrqzbVZWIE9RQul3ZRsR5VgY2aRPjMTg43FnmImdmrr0d7kmq1EjqYKZZeI.pgRxpb_M_tbTP5I4BBsn9hDbRw6cQT4klb1TDSIJtqrbfGe6YqtPaTNEV9IwRiXDdjWTbtKsjphE9q7WTUmK7oi0c8THdGkrRgHRL1GIW3gDsGe8KiD8pU28TJM8jrLHjBxuAZgtLZAMBJYAihM3Dfzw6z0EmctKkaUEJN6XbqmlYSMXx.eyEHhvs4XkH_j0YMju0Mc63n.puhE0eR5QCB9O.vNgWKagc2VlS8aQQXAGVkzlcgTKEj8YVChe9.87VO8l6Nb9KTphr2wrxlfly_M2EoZ5IsWilZv70nJTj2wixUfnwNLJnUJ_eHVjjvPTUKXkApIcX_fjODFkltV58jMNPvmh7G88OZQuBORm.bCCP49IVM6Cn2pw6ZTVXiookrekDkFTe7aYwqiOnHxSkNCHlpgT3ylpSLXtLZHY4530WEeFUaOR8GuojWhjkcbCcxBDMKRmD7Ia3tGo3E5YoJx7jLcH.Dc.DVX0wfW2D9iGrmaGdjkv_1MW3xsnMmWQplau3GZMVcasiXFYJURAb0XyXRO.S4Bl_v_sl0HHk969JEUYOVkLDZaEd_ENnsQKtQkP8MIMNaGXYfNIaW2nllcYD78aRXlBr7ISWsVlT_t0.u21b7QAEJn5Jx0by06NX686WYGZbmk.K.mneeRYChHJ3XNq9XtbXWVVXFO7qevwzwho4QWy3AgVlCgQ6_Z9mkQcp8gSXtc4Joo7oP2941QkbiiqWgOII4..yIYUcSijRG8SUYGV7fwe0fRZKKw8Eygu8XyEP8wX7yl6tH_CMhbEsgHb6AMt0gvLRaDQpmGct8SMKR2oLiAeZbixjo3YhLFBTDk9Zl_0Zz_.YiXpqqQxdpBm7y.JTPPpiLBNahDOVsteIbhZA6EzEJKZYMjMi8376C6gGl.Roc0rW.p815EDdHTgGahXzy8fJ1YsgPFIqMB1ZdzAPVulJJY4H96noC6VTUoP6CbWyRQ8yA3KyKe6qVgGdJFkVsOfgB_YjB8wwy6YxOfBdwu12ER310DMqGmsQuaCaHcCgmmDNI3dPBZPu4rw90VtU2mjQwP6V"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d88ad8686681aa';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, "\/1461.93133?__cf_chl_rt_tk=UMXB7IGdmkNMewW_618_RH3_G3Nj4fnEL7RtqvN4rIg-1744186377-1.0.1.1-ftJkynDeYa6A7RFdKT9C5RG3VcQ20eTcZXQtOhVLakI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>