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: '92e85f6a9d75fce3',cH: '64HrMzZwumpMr8zWeW5pynnGmaATNVHrV3VDlmm9WhM-1744352370-1.2.1.1-qYhPYoIw3KMR48ELvIoD6BuzVWOKFV0IFkhpHf5XxXEOE8HUIn8inVZm1NchcIH2',cUPMDTk: "\/?q=ra%3Adai.li&__cf_chl_tk=BEB95_uCMAgb8s0.wPcXrNyRvcB7KURt6qa5g7snEJM-1744352370-1.0.1.1-PM17cP5gtUudKz.O1dhXdn6nKbd4t..D2e8nEfZSI5k",cFPWv: 'b',cITimeS: '1744352370',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=ra%3Adai.li&__cf_chl_f_tk=BEB95_uCMAgb8s0.wPcXrNyRvcB7KURt6qa5g7snEJM-1744352370-1.0.1.1-PM17cP5gtUudKz.O1dhXdn6nKbd4t..D2e8nEfZSI5k",md: "KfaQGbXevs4hqajrwZ0_tf2CEv2TG7dEJqNT17aRPUM-1744352370-1.2.1.1-xU1SycDc.2DsJNdWR7AcS6kEWJAHXB15GFunvl3Cz.agdzM9Z1db6wy43vWESFg_DDelrLbc562xZBLXom4TfcHBM5rEOazDDrHYwOE.eQopVdqXbs._OMTqkeBg98_LkcqDU6i3cbGVmONhCdvZLxatXyyUCd_0pdePRYc6nEmKzh6acGBOpu3YHwzQmB8pOLLjlufRq1msI4b7Dj014YSwTEzr5Sc93Hs0KskNrNHXfl3HHnl14asptiYG04XXriqr6kV8._0yIr76LGRrMe7vSELHbUN5.0pFPYjOJWOQX8fAHqxaJsffZYeTko.uuGsrfMSFNqbgs9jdfDTr83HMumIglP..ons_38THbU11GKZ1nSS076D8L6_JAMZ0ISYtDHvtfnfwNzjSkiRQOnVmnBWw_dESo5keqoFt86Sci1inLmZDIUn1gVnKkIuLk2GahOfeF5Brbv89z30kNw0wlz2oh52x5QSSxS0c2jV.NpNDM740tMcR8.pWG2upx3rG9.AuYAIBJEK9Aul5e1kXWEaVUqagG6nYsdcHDSQXRzAuYW8u4fLSJ7WhE_OXrIf_7glmO.ye_.ur13_19RjyN5nUW6zJ1rv_QU64j3IMVvIA0BB6BZgvbZIjLBegP4uXDKY1WZA9owt_dJWlFjE5KRATIElr24iyaBenZCZsVcxLyzXw7IRd9LOIiKlwqtuigVU4chTCDaXC6pwXyO4Abp1gkJRXTvgAbFCslD_cnGPUmvnzPnGv7BQ7gNUQhO6hTarEBHvs6HnQSYT_n23MyB6gIbkYjtOWCacl4EZBT5Fx2_XZHMH7EMcqbwWnMRvb7nRyy1u8H_FpemWqmlZepUcXAZtZUQpTh.kzio_bywz8y4zujOjR8ZkG4qaT4D1t6AjgFHCje77KngNGYtjMBzIwp.8q9yyKvpAt81nfWzfGplBLGPTTTuvqM1D_pnoevJAVpbDn370oFcXmKSaGkSmsAN2b.950rFnjURNh6ZaGyR1D4kz4kI_msc2WlFZD2NOH8if_.Anwx_4pKFoSw9yRYMcR9bNjeVvRh9D7gZQ3XpLlx3rTOdKCyQWsxWMGAPs8elhnNIhtIQyRVDzHEWumHkbST_Nzd0wPBNXU3hCtKOeXGIRWW7wsDnzQ9RoUNg3fXrmptq.Vj2Dp7zGqd.Gm5tyaMl4gAfntapmCFvz10gQsSWGDBSHS.IKn",mdrd: "zThZB4vYeyNhMBU2xsHy1_nkGoTc3XrKXKhsBt.cGCY-1744352370-1.2.1.1-oqupvornVG86BdTHPsoJcDzmMHgC9wlzUZXZtsNzCSRsrRjETlIn.LME1yBdWzO15BCKRKBdVXzvBZnOJlPFrkKYMbQOWcJnhtdLwqVBY.9SbuDyY9PUOYvqm0i9_1E3YwMP3tHWXyC0uEfdcTAfquTRhd4AZYj.2Wj77qMqw3YFuHD5wF9qH02rZeIeNNA4nHJPPuMG4Hb_NNNMdYAfqSft573YpmF7K5Jfihf7vq93foj7O3DpnmtG7_dg.iP1fP6dDltneKaUyL.5MzaPF1khPVewSHt7I_htH9Auxsg3vfiOMyWQj2rk34XrejASSDvdDzzXU4hOiFOrYQGDmPDFAlzQTBbMBwbagP.dhOU85mQqkgS15SEzo_3F630BvHy8ZFMNxMPx8IVuceQDNxxvDlKJLo4y.pQ3hHNUbbI2vjXXrBG10awvbFYyigrfQvrz6NKE.ubGr5hYezeaKXEo8TfeQDiUO4CUCxHp_2ko.gMvWMdz1AWzGF1rsuzQUf_Kvoy4R4_aokNyu7NBQ4bFsGyelSyXRPWpdQU.lJFmCukxwW56R6X44GyuLF3NIkp_oyUln7J3SAbwjrlde2aETiF.GCQI5MOLTQvRtUs0Jwd02aa7i2vVzT2nB29DI4EJVyCW.j8WKfKRsDfyzcuFwU6y32B3SJuLBBMCrw9wkhFlBBnfcRN.gjyKa0LYC0dbMYRwfzbQCWamrvfDTQjw6eQSwt5sh9_tme0ardt3v3Mx95_0hXF6BcXv3.PYS43qWaQA8uE44cbNSXLlqJ7IHdoGqgkxQ9n6MCoM0NHwGa.O0R_T4S3wV8YH.6ojDbm1JXL8mby1Y_yn.XtMwdnbMT8j0kNAV.opQAEgNgrGTWirNGk0njSNT463cjRLXIMk8sVh2majLxhyYTvTHhyIddns8dxctiYgW1XRfTNYBbJx4Gp.5pb8_ubWkfpNW1Hu4yE6iaMc1XtCumg9fGV0oKeTqWFQoceOQKlrHGkBXKCt6K_v8LQKsf9ZKSn2HRsmebxSxR8_BD8G2eNFCa3EAzpBP272uJPdnGK46hQIg3cWUpSxpRTg8jlASls8JHlnmH5dx3Nna5LTHJ6P6pv82yr9AIK_rniBMsXaPoME5z70J3Y9lw..Y2ZteKgj60C_qN7UKp25CrPC2xIbz2fhWknYmIg5ylq1I8LlTuJ1bapcLCzYPsTh4cif_El1tMPyVziY.7.BcfUJ1lIUvREt9YHHgbrmEb_Bahc1m.EXhX6DNeAhKqtEd1b.YYreiUN41H47LOWmM99qwuT6IYaYfKczlQ8B1d6wGRfIW5GLox5EvG9hxyU6xi9tMYz_hOB2Cy2B7AWMF634gnrDUFmiugzHIcPNjTv_b8ZsgVrMCeMVWGbjADXp6WWKApBs5aC2vshmrTYdxoRgfFT27p2X8IdnHmqUFkxU6VPk2eKPUgi.kY7wejKbnuBtO_JpYTR7pWiV8bK3n0t9KmpVgyNCykHQRBH6tqBoAsLn6Sf6x4YcoKBvoY8lcg8kD4yomd9iauZn8O49D8Nzu4rWTxEBzbvKasCGDQO274SpKBLb44BWDfOVB7F6H0DU2BS2VfM9fhchvQefxSGA_2F6OvBm654ifqrm8Ekay1lvHV9ls17ZZV3SqdJrGKFuY3.dy6wnb3LjgRbPHLmaNeCSVlEf059cGK9F4HYAhS8Qc4mn1Deo8luecTeBEyK3efE37L6qWYHhnpAJBYriEiFDKtQ57TtfF1RdyucXMdsLmEy9iu_z1kdEly8Gq3gEsU1c18R6iD_MKvtjiR7z.awoK4WYtDt1pSPQyfSKKcbjQlIe33E3TH1Im3j4ruMSuGEWVnVOAxP_yX3SgDWqnbRiZ4iHNs3FJlR47ebr5I5D2VQ9EiJ_dKvHqhqNzXLG7gK.L6PKZM_sIScPc0MQAPhaGLlY5TcfSz.UIajwjik4KDa9jk59O6OTM1e2WD0vjrr056bHDC3NxzLqJEi8bvNGotCZyZxPqMLeQ2Z2I8bXIiUa1_U7jWZQBHu92Ktc4A0L"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e85f6a9d75fce3';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, "\/?q=ra%3Adai.li&__cf_chl_rt_tk=BEB95_uCMAgb8s0.wPcXrNyRvcB7KURt6qa5g7snEJM-1744352370-1.0.1.1-PM17cP5gtUudKz.O1dhXdn6nKbd4t..D2e8nEfZSI5k" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>