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: '92dd963208e387cf',cH: 'CLuqra.6SqAfI834Gv.oY6_NYTTkNvZrt9ntThpZMLM-1744239270-1.2.1.1-3i49slDSfOR5mS1X7riS9bd9TqYUu8NXk1Ui0al4GcuFiIPPffGKlqu9NYPVfjBR',cUPMDTk: "\/1524.05194?__cf_chl_tk=LYvuVmt9Ct3Nk3SVu7kVpBZbmel2npyATkoRGiji1mU-1744239270-1.0.1.1-Yci1LxxXOyi454O_fxzlxW_plujk5NlNozvBrbc7kns",cFPWv: 'b',cITimeS: '1744239270',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1524.05194?__cf_chl_f_tk=LYvuVmt9Ct3Nk3SVu7kVpBZbmel2npyATkoRGiji1mU-1744239270-1.0.1.1-Yci1LxxXOyi454O_fxzlxW_plujk5NlNozvBrbc7kns",md: "L7IkscfRW7ixyd9oXwEKeuabc3qGWk_ylLSIX2MmoWg-1744239270-1.2.1.1-6_v.yPW2jGXgNTPrGb_oPTXus3A6OmJD7EX2YUoZxSByOCHKAqlrMJZmYQyYbbbkIaMfER_yKvigt.DHY6_ZKTxsOOs0OSFxpCgzVY83LMPGEFZlGHvqY5a9ZJ_DX_KXPBkjZPYJX3JeGAyU5XohkkESWJuCY_O34CepWKg.B1TynbAsViOXhfaWhrQXtetpQErBXnFAUZQHDA6z_xOXH615gHAZqYGaTO.UxV6segjbC7b3BvT7HouFeY.dXxnnfTeEAgUALQ7hCsCTsu5bjXBC1IfLO2YyRHcAJNnnEzp5puKGUM6OWUirHTGOuyqN9qtvqcESR0bC7EZz25ArGtqTD0PK3nCT3zcUE6bJW5ZWcDk2mVELrRyM7GrdEboIPc5Ot9tdxZAj99rmjZBOkhj841l2F7O051G9iVcmsqpzbAVqMI4XqPGSYFA1u1pIMReG4q9yf4vzd4x3Sl2whV5DkZ4QpcHn_kUBqYxGpLdgHR92spWLjTNKamz23N4PSUbasIvXslYxJ1TATGaiK82VU5xUFekkTpAIJI8I05th75EEQbyi3vETydrNpKmHCLrcDUhfvVhG5DFacCxYa4ymVjl5IdHS90VxVhHKusf0T7mIHDuVdUAOVrx9.VPxrD12bsv6DjRiCJvqK..9otWASxlO5_3jDZ9XLHfEx_7p1xFF870BbKEEm_IjDw3T1CVkYuNfrSoJyDreXZhmIf0fccOzTYusbNlYtJwwDCzkkVZPFB_eqgUJcPMCwqcWfIF9fTk82Mk6vALRPo6teHzNNqGzTk9VSySNmELOLRtrQUbmk9_F70.9i63c466dTNFXNaWbFrgQcntarSfbhGL0s39Qcet102_bVzXQZq8_c5mAyHAKzZO6TUw3TjWNGKPprxY_A6sFuu9c_Mxih3HEOPs4gA9J.YFYYBuPGNJ0UkHS9irwJHli42w1KRsaYiYaIz85nJKeCcTLxIt0RS9NLjf0oXvsWA9t2gCXP8aZQfoFvJcTzLnLjewHR_UAOQ1FJN7MAbVaY.EIW7dVGIa5hnNcJGvUxAzNx4OveeaXqBQ32CiExv_62QKphP3YjhyYLMErs24.i7NN7S_z8f2d3GQsz5PhQbKg9faNPCryPFA4NrK4ycV.Y0Vm.jnhY_Mg2nGvQA24BzwcuLKGY2n7FxZeaswz64BaceJS4WnQhVed3h9XQHRrlEt40ynA",mdrd: "ieJ2KfgCnVG5XxrzXVb67VBvEpQgD3NifCCBCw5Iqfk-1744239270-1.2.1.1-ma7duGcHTDGOY49NKTiOYJ7lh.fiDjYgILRRCegjw2IqTKTUiytlFq4oupRD225SwKEuGNuL9dqJ9qlea..CrMXkkGZyWzpZ7mz73jSsuPpId3wF05Et8eDQWauqyOGDoOtnMV_90aQyg8LJ4TSXkYZQNM.rgITRnen1P3i01.KVic1RKTWTQ5DmqM3g_qMuCE3BzY1iGLVCkZqBINXdV5epdzHZi4edFbTFE7.DsVK3eLmxiCIGQEFJ.Zcp36GwNNdSUR3uBWXx.puERhQGSvwJuZZkp0D.sNpUv7PSfCPF5wglPH2CK5F_C9cE.r1f7e.96qUEtgmF7a1prxkxgyqwkXn8.BwcVkZD.uaA5h9oH5BS13n7s8.205BYKcREJuJT0OX8cvSGxg6yDOY4k_oa6hkixZwB6E3JKDQTU3kiDGR_.XSCNYnkA7N3yp_GJOWKfmC7K6zIREusB.JjfpZPWuR5nDJB0E2gdGzZDMWqiz.SRLYbDsXlwJ7ViuAfUduhu7_6GoEXTe1IrKVWg6_rC3uFtPS2EZDwVOBOyiTfTz9q6xb9f76GgZ_DVo0Tn.lUwdoIUUi1xoRXfxA8kIwC0flS5dXt1KjC_trSn3m8gtEtLEYr4b26uSrgSJj0axR8OJZUL2CmqK.jZy9m.0jAdjIF5KpE53hfZzwhnhwaN06_xKP08jkzN.ub2wadjoZXLFhgvBC.dC1ysv61HZRNCetbzvjz9LKJeiqTyAHc0PboyA3dp5GEpaCD7XjL4FkEwkCeS5dMinCdTrx8SU6BnlJqeGwVGoJVHP4MEP2poaT8jMfcigpvdhv8moQRMzd5ng6poM6NwTzt_ysmIuoYLc46wjUATVsyuQCPJUebA6rqcSqtYRJa78mm0n3dGWunW9TeEglFmzeSrfqc3Ylc7.xgolu07E89Z..tACjMhUDuIOt6fRIHdBEnMNEcpJCmXgdoaH2tAxK1TVjbBz_hRCSKBMIdDRv1yEIoyKRhW9Wb5fY6vlwQQfOsKzKF8BD7ciqL45Jyi4kD0YX.EMsognrCkueb1Wg4B93U_h1kn0uNiz2IMOXIs9PVu9wNoNZ4xFp5BoCrr_N1D1ZY58W3KBE1GLHU9isMJDhAed.EBRKGiXNSX7Za_4uEfPedDIcp2hQ4zVz5ywPdAprhiAYGPIOw0RrTa4_sk1gTOFLSN_nPaiuS5hXBnjC5EmrKz0d3Xm.rqZDAuj22JYs9sBvgbeJt0p3VLyp77qf4qabsc5ajZkzltMWCiExXy5Pp2l77IQ2HRy5YPvBX0sO83HMvv7Xv3oIlMi9e1FJlPrxRK4hxaFT9ds4jCirYOz4vMuXG5Z7H5jM1R_ZOSI8LFCYCtFNQgVZCT7Sb3TtQNxrZP4aMFNviOEkmM0tZxt.F6VfhvZwSD9aIVZEJx70Wl0zYmH1hICBi.G4X7vvIKWpL8dQM4OMPnR1iHFk9LPnliGOQup44S.TtieB5ut2.NQt3pUMPVrlIbHsejghHuuP7z4O9Y1RCWarwbCVQCDgjIKhCthEj7zgO.U7UtQBSugAUwU3NfmzPZg_RFfRmGZqRDHdQBIAqVsL8NUf_6uYbSptX_PGrcDui0HvXAsRsiIpbPYmHtRewBfw0a5X3AWAezUFsKE0yaoe1KeCgOBf48o97BOCLCBYBlsNJ6uhoOQVPOJdzsK04gp8yEXsXkB2hxZ1XV1.I6ekzjpW6L_Jrs4BG0IjsBuKlu4ZiqdBUo2fpO.gRoF6fVjMQO5ytf2GCJ59kN8to_moZ2WolfjvkfS_9nGjUK1sYB8dox1f.aPjjH4rgctJ0jyHADW_GpXjayhrbquuKm3nLuv3Lt38kQ.gR.4oiPMPDvg6rrj5wbll3aMZr1_UP8_gkapLP_cTea2Dod.ooQ02gTcKs3HkrJpVAU9pbrYXTUwAHMQiztKdw7oDaX9KJpeQmkxytzDT3oCM1xTod_RaY5F9Wn81m__XrAH1DdLt.ja34Ve9sqchpBTqGNbmk6NfEHi4kdbgovGWPXycPPMzDGyX0iUsp"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dd963208e387cf';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, "\/1524.05194?__cf_chl_rt_tk=LYvuVmt9Ct3Nk3SVu7kVpBZbmel2npyATkoRGiji1mU-1744239270-1.0.1.1-Yci1LxxXOyi454O_fxzlxW_plujk5NlNozvBrbc7kns" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>