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: '92e6a18bf88f9c6e',cH: 'QfSdvgK5hVlccRd7LwXolqaibQ44c0SmL5.iYmgFZsk-1744334107-1.2.1.1-ew.3xC7MG_q1PlN1DSLI5qg0XMUPuX9h8ifDf3FBOHB6_ehpV3vCwBvT.J4BTCPz',cUPMDTk: "\/0585.62183?__cf_chl_tk=lJUYTybPMaPUJdJ4ohxy.cJgjsRnyHJEJARZRGK5ys8-1744334107-1.0.1.1-XRYxOk8z5JT2BK5OD_UqSX617A5ZZeXL2qV_mmvvNxI",cFPWv: 'b',cITimeS: '1744334107',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0585.62183?__cf_chl_f_tk=lJUYTybPMaPUJdJ4ohxy.cJgjsRnyHJEJARZRGK5ys8-1744334107-1.0.1.1-XRYxOk8z5JT2BK5OD_UqSX617A5ZZeXL2qV_mmvvNxI",md: "5VRCkFYqPARuD4214pgLzGXztdYPWXw0jjW9qJ0byMU-1744334107-1.2.1.1-re3xoE7EFUF.3COyPFkeLamcyFNDyOB0__Abcfe9DCKVk8OhCR28A5B6mwYvq2batBtCyldceSB_ObJJEWa27BslfVGEmV1XXY6mS1FtnoLxG_voZJwn0ioea7T_DLUgzvEAsd1bD48LevDdhdIp7pvZv_MqfKWrJWQs9qYc4LTBNZkxVWvlYQYKwc.0hSvjSVcjV3G2B2ZwYV1qlTv3PKYoo2qNwnhTOlP2RWqo5ZprDkeGWkVmUQNrOpidS9ZXbFi1_Z69lzDVsn0DaiPYH.740FlQYSohJVBu1CS_Lm64ITZ7KgQHbuzCD2JiZXm9jLwQcgKasIq4syIgAizNyVC7TgmzcgMJWft2upo1gdtNYOO_Sn_RsUkEU0HGBm.kt3AmEffsKVSIpDWzdqtlShdzYHkbsLSwPfPcObl8DYZ9GyVv6zA7J8rTB_PjH1dgpzf6TemqBTp9XRd1r4Skuvh4KvdrQTgI0osS_kENe3xSxRAb2984WT2irJkNFB05BIPmVidXkvp69WgC4Vv5VP.76e.L_3Tkv3J8VQsa8Vxs4W4U75XJ9yHd7nBRV70z6jg3Fv2BLdUe6aSD1ruMQIACZCtfQa9aD5YU7zJFWQPbFLWVOJE3KLE9c2zKt7ooFI7.ofgrd6ZvG46PE8AcRaVZFJ5qWrFJx04ITuxjnWY.cM0mOD97l7Rd8ZHuScoEb_1I_DaVajHI9uhzoO7LXEEtgeZUN.NXFJng5rv0847Ih9jZ57AD3_IxMaojZTqDK2TBpJIPWIUqD6SwPuUN2hNcGkGQv48IfmqOww67sdrPVrxRlbzabcWFYj6k0kcvlo4d4_2rapXP_pcmE1YFyQQ903LHNUuOcF3BN1lk48xv9mtpo.7LaboXv19y9_LQiUzNhfor6rOwe1PgLmk7BTaks1GUKd1zBnQX9aeXgDIXJ5hsAz4cElXamLMBJc1gTD.AOObJboe52gD_0nP2kGJW6Yjbhbm2rrqcEerKSWjY2i_X5rfhg5.Tm72CGv5RB4Mn4G6dg4s79aKT86BR2jP3v5BrK2jNCjM5pr7ewLtkcZpuxqQ80rsYQmVFC3t8KTiQL4hm8Wv9GOz2.LTfZGv92qHQ9gTfO9dwLyZXkN2sex8e49napZIFuI.3pGJ.K9t6yNbvBZibWW_z.o9WTQpgk0ipZjUFNHhWbE8mZTPsLTkI72A.8cDwjcKtvohw",mdrd: "lNLAKe3SzQjtD0hx6yakjcVSFKUuZoNVFPWzEBvm2kc-1744334107-1.2.1.1-aKRGk90DLWSxUICe7bAXe3SBZr5rcGW587uTF6xoht595hh9eOYNEQIAxlKtRzdAngcepQuep.bQ3oPppOsvdWJ.ZaZDqOyEPGrajYAiy.l.RgTJ0hJ240jh8zcaetrh21BE_QuWqwjJRW1EzqZASfHSDS6ydOPUIWylIudBoDDpYRziXiA9XH5nj6pPJBwZaxDaBOOCEGaYX9QW5go94qEt6mVBWrOjmpzrFYpe_h1auZ0YVCaTdPs8G4oYLaYfdQvcfXDCeHavXixj46UxOtXDR.c4DUKgmUMr7TAv0xfOS1gIm1l5qJ8zjoIU6qqfLpOB7F5mxzh8ahRpJxJ.QR1NCNhQ8BsOu.AhKyccTcCcvsIE12jandpdFQsizLgvqiQLtmA6vCMnL1leQ5dncLD00qiZLLNr2QNGMDEmXGtlRB7.LQcUN6oRlrnv7nzE6Ls6NFmPSE5wgb06w8QUs.LOLwQwlp5pMlf9xyTaqCAFAgo6gyumLYUEDUL1cSRu2619Bax2yI.tt5lI7PYIjyd.HrMT54QrVV6wX54Y2FotqH8OMpN7rmwvlOKvQei0EYnm5467w.pEvrYe3Zzf9eTwa_bdnKJ_x8S4kG52KVByUtMrH0CX9dls3K4Rym7MhukhHsWKdvnPsbANI1us2NA4IRiAcBJ1qhq1EbvQIyrzJ4_u88hqEDScZBE1p2_UdMEpW3feKxWAGJPzJmxc1NhMgwszKWtI2wx3muLOGh_gq_BRSYk10sp1BA4WY811G5ERjuRVHff90uxC2k.WcEqV0ZEdqkBKiLDZVfr1Zbqhgt7zepkbK9qE.36tQhRgM79E_QFeQRJJAE7gSnPQxJNSkpdxhkRJnzAx2tKDBPRlRIcERfydLUTD2F8DrjUR_SG1lTMVIyMNV2nEYGX9zVkDUWxIaKPbK3qOfVvSK.K5PoX7qZ0FaoZbyC98dIjl4ZHkEEemNAUpkuKefOQ5_nx5sxlc6PznJA.pgTbkM7KI.8h3TMZPjaImsiZl5fopV2SYp..dxCr4fombEiBQw.tUATsKRI_bMeanB_hZqbDV1EmVJAaPik86mhqPoTmGiA5e3rpbul8eZFtDyxsmRiVfvyUxpIoTrYdrN.zjsixYgRPkBFxNTMtaywGGg58DqqR.QGSNtwdL.ZpBY0qdQuC8P24ZSy3WpYXUgztQ2iVI.TdnC7eLyyzpHwkgt.PbzD_A9gdc7dON7b7.yLo__GOTBz3a0Q3rk4kYKarpmX7zHOpfXJmFHLnLm6BL_7C1QKRXSahNcDFNGKgUTg3iyL7VzvxLh252d7vYlNrKV5nF6hZtVlidIDKwGAGVDak.wvc8MWrvN8Z6JbR4IUp9vCJNhtCUJKupEBbwtmrqKdWUfP6gAgRM6l63gKKmjNQCaSsmKU4k6jFll9Opr9QKj18VbPYcjtmA3WemsQDclI.rFlDDe8KwUDXB8oVihv4LhVQX9T3.Z9yOfsgPIljVuHageaKdrudIpCFkiQVqF1xr9wrbAU4.18qJrM5r9UhyKvfUNBQjQYdGRjfoxwxLRCw4B5xXExU7bNXhGLEp3NdqIKY5SDm2AztgXNXthd3.fK24IFKQj9ZW3CdzXCDyuVYAf6d3Hxw.o5YJdif8TtcRuT6H9yRtQjurLUDjz5UP2SXyCqCjhRevFlXOnDi6IDsQnSF76GO2nCuBtPzaFVQ3JfgZm0Voh8no_BZuCwyTZMQHpybsxNH_rpN3DBx0Ls3L1LcUBdMceMuQ3Io_WrVP7_BFnqibEfyE4v5TBCzuWLNvWU5pBKlQUet0ZxHagIGbpa7p39MgqdI83El21ZNtGr8NdFEMpte_lOE1eYpXvfV43KFWymw82gpevjiX58w6OT8efeL9gj4gJawH0gFmlY0b_4dNuejGiPb1gnaPygszWpi8.Y4vMXDSX.rH1pNcaWkQC0El.BKquxJrOgPor.O5N2LmQunmobQkFejuaSMNPgvvP55UoQFQL4O4FihpSQY25qEjFFs8mY6wO9DC63GPjp6YTvEyuX3CkIaP"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e6a18bf88f9c6e';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, "\/0585.62183?__cf_chl_rt_tk=lJUYTybPMaPUJdJ4ohxy.cJgjsRnyHJEJARZRGK5ys8-1744334107-1.0.1.1-XRYxOk8z5JT2BK5OD_UqSX617A5ZZeXL2qV_mmvvNxI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>