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: '92d4fa02894b135a',cH: 'J8yPF.rX1tBHI1DYNDpgzJHVn.XteIE9i4.YNARzN9w-1744148987-1.2.1.1-Jk03OyEpIIbuJ4yittVRg1Ox8tge9ePhc9r6Oid9VYi5ShkHK9tgjvxL_luFBfgk',cUPMDTk: "\/?q=in%3A347257&__cf_chl_tk=SJmjggLf0Ce3F_Ri84sUiBU7mXlAXuTQUBvP3GY27TE-1744148987-1.0.1.1-J8pWQaWxNyywy9Fex4WujMQXC8QygSwHwKfHmxnyqAQ",cFPWv: 'g',cITimeS: '1744148987',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=in%3A347257&__cf_chl_f_tk=SJmjggLf0Ce3F_Ri84sUiBU7mXlAXuTQUBvP3GY27TE-1744148987-1.0.1.1-J8pWQaWxNyywy9Fex4WujMQXC8QygSwHwKfHmxnyqAQ",md: "A2AHBRnTApBUMSGpAlTdcv8kk_waTziLJ0oucnLRh.c-1744148987-1.2.1.1-LkvH_buugoBafVA9GredNCZVHzQzqNjJF4EMqJWM1_S0In4jS_lAtslIpqv2N3gyTPM1XAevo4bEtUAM5jCDOowrf5olhx5IT_fqq9Hp7fHWIpjNNlilBaALKo0Lf5eP5yF6lBgnuosKFW9HIOT49dgxU3O.HP.O1I.VpQPHaz92zf7DjLq9FHnWqroBmdAWODlFDYT2s3uhFuoh.PujgICgtwLdW.twLpp28Y6.WDg99LhCN263o8WoJLOqpH9xn05Ou7hZhX3YRq8cQfacG8_UeXA84JvUWuiU7d70mSX4EdEb7aRJLUobDRJVEYiAqG2MFqdmS4IxMMF1yTA94ketl3llst6xlx.PmXJjF4lL9eLGmjW667C9Mr1ZYVuR6SCYb2jJ0IykGauZ2H4KB7fqcl2WiGqHTwoYsHHxp__GAK5AVgFGtlFtPB1QALNn_.K9LGAIT0BMS1Zl__i8mxkNxpXDbZbtHqgQDzyB_aLSYheXKcX7KCL2P45iOckdbsXDubYLuHanZ3WsgLTmydjxWjuTf0LhUX5mMTuYhqdrpHx9XvrqcttIhGKo4MgOGztqH7B1jMtJ5ZVsOjrMG1SURZInS2uJ1jsfxuKXLGZTvXkEPiFtvKVSWpzSXL0FMHi0pFg6bBsGYUrYfDJQV4ikbHPiKg4AuJDhpVGlnFwxTGeoFp4sbf9mKlir_CAK3zLXEgUXvfWNCJxgDp5Apw48fo7QVNoBFrbylhbYqyiJKE9TzgmVOoDNHp9NVHe1eM3KW_vCAZuQ_cYmIYW4kd2.wWFTNlV1XUvezLMfH.8SxTH3TM1wLQ0.3rzAaszj4xccb.IzbUk6sQb41avGsNCQA741a65iAcJyZx0AbYyNjgnpLAR0vjXz5CXF4kOv4L1rD75HBwc0OUAdtBi8c40FoPuNLxfvrYugPhLsQSzVP5txyN5jRhmw7E.4gGY8yGkZ_DbNUrSJILj60DgQ9wIlYzbuyH1tvJZOhnGw.bF67kwe9Z6xlzNIFX6mHEFHG7eX7U9RT2t9cDE2tZBUXtHbMXKTTRNaSMkfPrgAGh_Dp2zsu475CG9psCwXTc5O0YF0BaK0GkuZIDYDNJxg6R9EgW6wxlJl1HaK4Go0bYGv4mdqpitf8Mv2iqEevOiKXMw5fymAYUi_ytP.WZ6R32wBfY1ihTF.S2sYG.be0khD9I5RNzudAQgMzQyFrrgo",mdrd: "kLtc5qBKDNRfN2t9.q7suLhdcIseUZBwDQ.XkPNrits-1744148987-1.2.1.1-bzI3JHIkQ3g2A22vmoP2F2yCHAMnCMVubD0RqhxrhmdC1l4nPoUOV3azhUh5VMxEIrK8iZGHaflFO.3bTGd3NDQsTux3509sNTU8aDSs8bAOgBB2QVJhXNWLCFhJ_CTv67_vrFXjBDqnmoRGkSIHxWfcNWrPO1Pz6JHCj66aVMh8G_7dclFpJslhRFB6oD4aigAyBGWQPZ9rb_7zqT4LkTaSaU16ZnW4uGd5DDkDVritIGH_qq91fCILThqxIK6hbj_wVcv6gOg4FvVwt19R5Yz3ZHOfKagGhyCva2m_iBRr4Y1rSEO0ORd6j6wIAhK2UhnTdp.OOqx6pIlRp4RJJ7gRoapHZ1eg47P6ap8GYPgoq3k6gGDgSJe_1g4L2omZ_zbX_SxOq84G9C4c4D.UCAsStix7NnZV.GHauZEsnJXmg9vZqLjMO3UJtWQnlEmK6P3s37REwLSMIhCS9cj.dH2Ljk7bzyBKkrG0vvFpov2IcuIAmndZFKq2dHUqOPlboIKYlhfsOVqOkvlo8H9oqcZDeNYpgwBm_GEbteoBMIEQr2fUD9i2meYr.T.Jpq9g7ZgdcnxeWz5uNUCwtE7_Ip3HUmlr9paiA_rlEOpap8al4oZaAP3rQcEdX5Lb_TC1dqoBQLa2CDLfZfaC9MHEiZhu1Ng_P9kzw2d7c0bUYukyZx61eYA2GUSU2txHznd8gOFJiw43LUfDf7aIAbDYHpzfPeQDG8AS2Rz91DFEfyhkhn6RVEY19kiWWXgjLAZ8.p7h9oYPoJQ6d_JpLSc3R_Jf_lrrt0vUiVw2sYb5U32HTVW82cGsWlVlrlgGbMkIRZlwsUr3kb8uHHDasEf9aruLgi6x26tYHTIT53pU0y6y5QlUkYIRzK02kX9FUwOehX72mJFNR.uZans3w8HEgthAju3iBpBLZcHA40X.pfnTKE9l2s8rSyHxibYpkGOjFCr7sHNRlfOWsM7kVl470qCiRbim9EYhkLMSixE.gz453fTrro09ZOj6eY6qdjWDReozA0E.eoCSZcfvu9bSwfsbvdiYQIa0LdZPmqkC.XoJjLnR5kLdOFBBaHmdOpRyw7jTq_OxrHckmuf5S7EEWqoWkKHl2qnY8RhF2JW1T.oY7YhwA_MwwMphi0L2VbmSg2Gt1cVbg_N9ADyuDOz5_oOUF6ygYCxOqouiHTLDYaZKpttv6Pyw.hDEx7QnP6IXYVgzkKhYYXhwJL6pZQzgafLwDdaUWH.k1ad0F0HH5Vn_tQf3i2BaJBbfjd8vO66TMJu5lHywF_sXJhiuWeOlrxo0mCQ_zDMm936OF_NToWLscegCVLrdb3P.HsOLvZ4EOqEl9qtgbGD_w5.dV9w_uA2OETmTfSv16Ml1jHqDXUICc3t3lYIXM9XjPFxKr1bcWWUiadlR58OJ8bgCDW7EuB8cN5N.ECD_gMZ9qDOAjXF2fsJhfQEuwvjka6zkoSGlN.pVphAzcD03YxNBZU5O78TtPsoP3.LBTuu0oYFmpQaBN1r6D7Ba0INh9U69lWTx1kBBiqZLkWpZNrXS0g_aVR.WWmMibu.72_pBOwLxvXM.uy5RElquDcF5eCGOXveDtJLaZCJlx43p7JvEOmnRJbYfT.TnfJUcFHQxrh3MlIvQPh3iG_hUbeuCxlizd4fWrtyyQ3IMDzdzpHIWP4xu68a99SCEsswDHdR2TgCmGnIfKk6AdzoYNNI6cmL5Qb8TTG.OTZsnMCI4DBtLvs7nWxCB5w_spyZe.ZvoWYQgFmEbOXhSm2eoJjQEEt2wcmiQKc6JR2v9M9fK9Jwifv0i7LV_VoH2nIa500BE2Vu1VlbsIBuqSZw2_JOQKVlHRTdv8e8pBXn6iNOUwLAZVP8x99J5tevJHEy7u0oAGxJWDxsn6boqQc85VrxQ_EyffpOaD2LUYkdq0isJgHfbnfuTa6Krdm645xkjkeLOCN7Vso1KHgxs5Ul8ALWez2OFur_GOpIyV12omJFRhstnmTA00vMs7DbJTkW.VbO_zON61TrUr7m5ckS3p4oGMbDMRcgl3a5H9.TvlwhJMwM8JRphKA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4fa02894b135a';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=in%3A347257&__cf_chl_rt_tk=SJmjggLf0Ce3F_Ri84sUiBU7mXlAXuTQUBvP3GY27TE-1744148987-1.0.1.1-J8pWQaWxNyywy9Fex4WujMQXC8QygSwHwKfHmxnyqAQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>