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: '92e220c97d683dd1',cH: 'mceh5L76VnZJPZJNM1ToaGvfzVZKS64jgkHHi_owVVs-1744286890-1.2.1.1-JVmJ1.EQybwiyaNkMigSGR_i8D8UvnLTZr9L6AZ1.MDZ8gK64Nyed_FbOImrZK47',cUPMDTk: "\/authors\/yan.lei?__cf_chl_tk=up03gnBf7Unc2XbUQx8c3vnrDO3qYIua4zn7KQBfaPk-1744286890-1.0.1.1-ul3rudx6m4qBRYded47sdiPPTXIp3qumFepPXJWNBiI",cFPWv: 'b',cITimeS: '1744286890',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/authors\/yan.lei?__cf_chl_f_tk=up03gnBf7Unc2XbUQx8c3vnrDO3qYIua4zn7KQBfaPk-1744286890-1.0.1.1-ul3rudx6m4qBRYded47sdiPPTXIp3qumFepPXJWNBiI",md: "dI5E07K.0GEZ3ZuYBYcC1IBQjbMYjNi7XMMcBi0J3eU-1744286890-1.2.1.1-0rvKkSSbp8mCF5eA86ua43HPNcwSeH39EQPWTQYY7XdEMHthN4IR0kFqm0O86kkfa9XN.41F4r7z7pvS42vSXyXpHKjUXynvmlvsd5rs4p4Gyj0h41jzHDwTO9I25s5jMfXx6MEGtxh8srqnyOuWKtyIuG4B40m9Dq9HAHHOfFfuf3179UbovhzmppdxIh_A.C3MNRQx.PVBEbcED2kEOkaaTbrHrvSqacWFR6QPYGK9Keafw1vcZNu5eKeMmx.9njmZeuU7pKmGEgN9jSvVVuzoMLpjOJ8ylUll0S.6pS.F2RpeoFkesdI37V5cUaodP6fkn0ZVYnfEryhAuivrdX5mL1U069nG.42XLN9DYJv2LWHh5FLNbN66KJlJ5Dma28ZRF6yFvNmtMiJr0T._odwWUDCRy3kIJh_Rne35zvip3cxa5lnzKvz6QbOcW0o..HiBBT40TnEkc81Etm9.Yiw8AnKrNghDjanBpbQ8YzI_SFLdfA90pjzEuZEfM9aJ.j1rlNOp6QncuQhxVwcqU615hGcsQOKBfGppHEBYtAk3PkNWvvRVNMvOqR_L7B_FrBhlEM4tE7HNwrlKWXM2uEVcb5UGfTCBJMZCFyufEQy232wuujYRQu_gbw5cGAenAZLAMCoQqubAcDotirNjoEIIW8eowodNwjsQe7udRvx25zTxegQXAEL.ZE.roFKvLYtXCCGpz07LQwa5l9zbcPpeKE8KHCM1.Z4HrBdZs5i1kCWfGL9dVOUQHObsXoOYCrZoKslCDFCUFxImKOGDG4gsR0shEorpQ8KqzYzl5dAMFq_vWkoHK9si7ZzmqUOQd1tv4xVdHKK67wigjMVXk.cC9s3_DhhP5Y4VANdRDbgkA0MHFll0AuvlAwJSp632p8MGZyVhcq3KAQ8QxI29oySEJlAvHfRVz4qEjEg7.AoNRcXM4d.UDQh5Jk4PzBr2l6Pioa.yONqwvFC3CwNUAWh16KiYlHwEutuFllQ0o819QuHM9wPO9o.M1WQtsF9kEL._lv6JOVY_pGFKZ9GYVa1ef0vfGowCt.vkox20aibj9cYnSNB98X_UPnLGJosLKqL4bs6GowA.NkKD6XIC86nPlZ.poZh4ux9aNJhj71yhPaKsJvttZDNz6ZTEr_DVdZHk5twJAUDnYYMKZqACnEXnL59YVzlFgZ5L.VwlKXPlVkzQ3X11_fmUjApI9knN",mdrd: "fX8jgyecwy3F6SPw_cr3OTWkIyxImLkKJLeX8Dbsru8-1744286890-1.2.1.1-_OFtGQ.QIQij2lGOEPvqjJEZm_gGMCvA3S9MGHmTq8AefuE2htSzvwiiLzbnRqY4_6kx7nezwPbSHhCoSIE9RPwM87LAmAQGlaKb.vFspsoda2C_aH314GhbKy4sUt_P7u0mNOXhlQqCtAy9Z5A0LC1F3lcA.pwiXLxtQhKBLzYGzJ229gF8Pt_1rKGQTKFuFGyVE6LNfyvLdmuwppB4uiGhUtJlxNsxbGYC.f9TTQHz49jOUgoJdLrSvNGHhpO41_XRwbUNuZszIg_kjDWDDT3vhc1TlrSdrD9jPAc3f86aOHFW5oaRjobmxMZSRlHV4YE55ilqqeoJzwLX.JQj4fPMlZv_8b0fI8V.CvFwQyT7yruatsX3wF41QtlJqx3BJ.9JZXguaFDoXdZx8ipxPUedtaA8n8LH.70wAQSfbacwWVa1cjphATKg0DogI0pwTVUNslKyqh0oAqlHPriSk7.yfW_0sGjg4noegBf.LTMhWOyM.2s5cc6MmrL6yQM9.muY.xO5vF9wOBEAdv7QK_0fBFKWnu7FH60fAHdCEZJirkYoLi9jgq1byTuCfkTy4lJ47VUlSU9JiHCAbdqQPZuBKdSGsSrEOJsrnlXm.8g6jDKsqMRHAzuHQLNsf9_kGN5c04rOk7s5__gHsjYEerenAAGLXbVHVGhuKRWg0ZZMf0fMmLhOOcuW5NniALy97G73lLeOvs0uVfxH0L70sH46aZmgXoZfZOF9a.NrGoi51GPW.O2W7q2qJifX.inwLZNzpwDjZUzctWExwvGxzb.BQWw75m1x9shhP06zmfE7TcTZqOS3mmNITCDbgy2M6a52lkgd1GX50qaebSa4JXjxMQq8AboIG6wd4OhwT_Ica7QhJV2CWCxJyMSF.B_nkdnUDsr6Lv5pLbIuwPwhq7J2MPyqL_zlJDWykeSjfFB3kaBAFCB3vWTg_G7gfYHDV2Cjq2PxCu4tbqOxISdDDg0NNDtlAnwf.9_MKPBXO2GWCrZSDu0FFoc3kOXWWhI9BBmu8LWCeHZkzDCov0RuqkhnTiuRGqv2PHfitAPPHqyQ_.naUpI9ALyaY4_q9kn7AY655ykPEs8LG1nE4BQ51h8Zlze1jvVY5yqbvNA8AQ24Se.RXVg6yMmGzJa6hM74S7rLbaiPybLpfVGSIw7ZsWmuSW4iuIZbvKJYSOH2D4u2dd6fMnYUGt.qukbgNGEjLCDoeXr_K1MFuIBuYeNp6g_NJBatmXSCo04axo_nXTmxbUdRNPGm.80PPoGduyWjI5uBF5UC4n4jSHiv7_ahmR57p7UzDIpki.nBIhyBsgp5crv8zKEHF5oM7OL.hqKsLf5.8sUyKj5O_pTgw3bVB83C30XIPz2Bwx7e0tV0U5x7A_xXDgruI0lQ.vK89oP_lrlziIF0vCT9fwyaqTE_8qBZ8Yw8OnbO0loJw9RlLnydCBlfqmqDDlajwW8vEBInXPd_W0ZxHl3SF.uI6VL327F6DH9lX.sY9SpHSft9Ev7wqRGcu4LLurk7ccbAKW22BrWu5q6ZeAf_hgs3n1ULaPINbBQVpzPXpnA1ESUqV6wfBmlStVr4uh15hbiGvErzh5e5BX9ybH0mCrW2qv3nAGVQHG4efTgYur.HQvXLfIxEOfryS6TgaF2JyEHpUsgiktAMso5oJrbHkvx_J2qtVByK1GbZEUlondh8V6ndjhlRKTy1U0KAywu4VipjoI.s94k5G5vyQTDWQ4QPHfhJlhyJqpjPI8p.GlqJWQeTlxajxhMTL3CFhuCDqWkacjKfvn4O3uGmJhqsuiwvwAJ2IqGhyLY1kpbtGNtba1qtGmP4a90KLPtyWKX1NiS5cek33nhrwRmD.BPB.2AEe9N_5cpgHay3BcyPV77j7O3YKh0Eam3sqUo54u5NN10kWwP1oVjMsfMOUYKTJ3J4gDovtvLDrjioYDiQYkGvEE.iOcGIHCeCxSItFUSkISCsbRrOOB2w01rZcfpsFeXxKdwI4cC1QuHLaeKdLBiYh5MkQL6W.kQypTsUxVoB3UJjLv8vjT2h0H46VW.mZMATwMbr6w"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e220c97d683dd1';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, "\/authors\/yan.lei?__cf_chl_rt_tk=up03gnBf7Unc2XbUQx8c3vnrDO3qYIua4zn7KQBfaPk-1744286890-1.0.1.1-ul3rudx6m4qBRYded47sdiPPTXIp3qumFepPXJWNBiI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>