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: '92d88e68599e6198',cH: 'MFJrb.tATnQTYhRtq2OXt6MQ8lUGBKgCqHhvBL_q7wo-1744186522-1.2.1.1-sWBg9J4zmMbkiPGWyrggbRbMmcGq69eJx0.K8b.xGkEc9anNv7yogKW0FWlw4CAm',cUPMDTk: "\/1416.68138?__cf_chl_tk=PIwsXBtH5XKGuZDD04PEynIkw7q0HZ4YFrd76D1PRcU-1744186522-1.0.1.1-QqnnMuHIh3GoC8EQHVYyyIUiMKXb.TUcPZ6OqUNbti4",cFPWv: 'g',cITimeS: '1744186522',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1416.68138?__cf_chl_f_tk=PIwsXBtH5XKGuZDD04PEynIkw7q0HZ4YFrd76D1PRcU-1744186522-1.0.1.1-QqnnMuHIh3GoC8EQHVYyyIUiMKXb.TUcPZ6OqUNbti4",md: "45RCLnAi0eszdqE3KqZKjphXbXwon9gyqm_Y51MkHWA-1744186522-1.2.1.1-0TDb.G33Lon08p3DY6aJFG4dMAXhm1qyRezsnbPVX1ORjSelWsUZWLHY1NFDEiaDoox1h8KyVJmYjdXOTYek48abcphw_C4FPPLzIzMyCVGbH1AY3.W2ogEAkDlkCwbt_iRNAjCbUXHJaZ6LcIpLdrgEb5b10Dfm0.T7EcPQaEZ0T3XDjjffoqpiBYIeW.kve2F9Zu8XqpO9TJPknn6kV7D1SXKugTM4tupvKBgcYgnFBQPsk7i_XA2iLHCMiQfN0j8AaX4B4ow7eIFs_2IMEC7CB49uHcc896Td5uH7edxkxtNMC9E0uFlLtGETMsy9X5H4sntTPwKsg1ECWn78PB1mK8d16AoQm5Z8Qp5bFDcZKzEvWvmWQjeIsHbpATh1EqiM6DnnXUZJUomnQq5i5R8l0wxnP6PzUpRT4mklJ1yioQy1GlS9IX3bH_l_QljEl4w4F1WHtt0OACL5nj3chlhzYNpljbO1433DvQL5g5YMd8v8SZ10SrFd8AwZI8.ZVPZAQvv9OTOLHwRAiP8EPZWDhoSAf4g1h.dH4GEljbv5iimgkEIsBEMrsTvDWGWXNjU71H0d7a.HmB1ndcKlkyPUkF5w1pWUMuaDvX4cpKUeD2L60QDbwBuo2n5.1Co7ChHh4Lz4TCt33B8AP6pd9wXMsSJEgUGVWHfeDK7Qy8oLptHzQqNUz4o_cJjqALRr5yCq7Ohn7FATui223mvagPfhxqJQJBCI4JpSy0DlIYmSan2.AeFkmqtQLGCeXayZMX.hGO.UMXPEre4ecEX7q_w91bwM7olCUYxZz9PY61Q0v1WBcdJiUF38Qgw9._F37dhY6YntpqrJhU2VktYSKPL3csLKGbNknYM14n0q4sBgCl11rOhmDs6KHo4RjzjBDjEAHyy79.NlHACNlumOGM6WdsxMe4kyBSGtESFMEK99DFLeoYuPf7dXePj5.WjZWZi.UnbQtAmTBPLWkl2BFuQo4zXO45H9sNN4S80.Kx.NHqMAdgvrAcaH36DQGOmjOrIA_PHMmPW7P7ihorO3OE2sXtxHv6DvlVQNySvgjkAO5povz6ApYLCdYrTHsw1wPhtec7ZkIibRxtkfKdRVYJY1p9hPlGn4.MdVDbAOaePyQQ.eWfJJHuCKoNA7AHQsuBqTwWleaoR7SwQG_8ZIYkVySkUHBjN.JSmdKIwrOVjcgN.rrzOaFRHD1oBMLYml",mdrd: "nKSRsrgjAVzfDZEnWvS5RdsU2rEjl5T.iybf9gXAzh4-1744186522-1.2.1.1-tbjhMlJPlXFVdmfdmxQOTJjhpJTz5KW2uTFQ4D5D9_3jk0P3R.OHXL2IOU_bH4Zt7ebJ_HD8X5acOoWA3061UDAFRPni1z3sCIEAxDu7cEGPllmZD7oi.GiSQ6GRA5Mzy9APxlUzM.L6.32dGs8i57iq.EgfUrCfTOy4AqEBRkhK8.F4a.edhFnkTxqQmHY_BOJUBk_CT0kV4Jnr.aQTWJrtVEQ01BTTFK3VHUq7E18KEkuuxuG8qzSXnZjNssrhBdCJ2RhHibO7.4WsqrOunhOEw_9SVR3s4JTFtcgQZtPrYbj4x8M11_7aAKd4MXxPzQ0qdMhqIN0zBCV_XRK8dHLlLs5phHHSxwPPRPhaCo8xImHBzufJQ73wWxEVIzv.rr5r6MKLOB3jjHmg5TJnFYK2e421jPssX9MVHASiuMlqZWP43Q4SN2cLUOqCezvGDJ_m3e99bjWkhOxarkAIcUJodbCth7N2qzbFANJ5IuQ8olqP0v0SuFGg.CKO5F_EaU9IXQUiCm9UzZXKrfOg5dkt4_P3kTPVZMK8lwRC3BdrxWWhRPp2JL6lkonPX43fNS3dq5ig8IP.86oq_LV14K.hYAAYnQX1UqNRRKVESkZbOThW9eW_.5e1JoZ7UrzEohkV0XL4kD9PdzdKqg.x6PHMo14b4HymKkUGqw6DJS8GwXG9h3hJnPOaco8358ioVklyLq87iuaeWvNBM0jxbMR.P5AXWAl.3hHApIiLWpDs3ooSnIBiItNNuFPkxXTorSEBVT.WTywphpxXM3okQWfcN82Gwp2KKF25qCd_8UqC1l5mAdUnYtuOGMAYF0.s_POvbXmOWw2PaB0gtmDl1eEYtwZkUiniy2tgRKsVZH1v3iScxIaic.Vxu0mjaUn5RoTFvg.dIIMV9wD1LfMMmQR_ki6r9_9qu.POdu.LXoS_HnZBswSpczLlC340apDcTifBpOGv0n.LPwnizXySvhsuHeKuFqt6N_CWni7VATwy4e19p7NCQjMJr3nLCRRyjp2JDtlg2CovBJd5C_lShG6A2C14SQ5fJwcDxD_2uBS5CPBVcQlRiHu9dypCBF7q4fsGfFlbdDg4baCqL7PqlPRtIv7Dqe56I1EbcRnCAKBo_eVF85jb.nGRgwZi4BbxCPrJgU.QPc2I3wkteRattvV55j1zzV_oH6Ah0oWeZpczPMc6sp3n8L_lVZDirQ504jOsCOSiFFQw6I9i.e9gbBl1y0Qs2y_fakr_qgLWfP4uB.iLtbXi2HrnrRrZ9Vra2RHBae_MJfbXppNqs8MkgZdljc1NyczjMPCUeO2pbIZqWr7WXqbUQq9rCBdjJvSadE0S8VX_J4RL2BADI5PK1aEtgqxjJrjHR2DfbmaEJYBXvfIE1V44RXR8CtAxllbP7yYiazpIzXwYPF7iomOZ5UDgyLhBVhkB.bfPt4RN0sJuLATkdgfR9JPX65QOK85pjjdkqal8GGkw.1ayBhYaFTUUnJ.K3h_6PHXFi8K4WVlI3ZRiFe3utsEHRHz0Csfa.EhDRU3PTxjz8Npa8H8vlHITBSDt8SNV5aS6ziHIiOfgkzgIvYFjFM6LFh4PPNua0ZRTI9CRBcn1Bx.C8I62FPvHKS28utIvHG_caIj9IhfkjrInLej3saFSQ3YyZp2lr_3OP2VSwdKv2qD4Z4piyutTWgm2ruRe2HRAQofePNVOZNASiQeS7AqavPNA7owfNHUSc6E2iRTUXCe8kg.r2Qi3cbuggTYXFkGmlZUE7JJr_EmGacu5sABOFtw_LaAdo7J5rM79_ehO6dk0AO6zYVuNlXMxM9XGFR8p7JuHqRgg9iNq0OdJ1N2RLB.BAl4lu02TvAWLUGy4BNs1Iide0lfSRm1JMFoXB461SCChpW7ea8XHJY4YpDWRLKlewwUa4l9sYA_0l2KwGcCmp3VW9OfWgBKuKDiP8tMyFRq3SsUZgg_znoIL..7IjwJh5RqyR6xB66JhIDA87qgqhTGOWNmDCPLyER6fJigRqFuVcP4Oh_LnBC.Te957Zqiz_uAN"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d88e68599e6198';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, "\/1416.68138?__cf_chl_rt_tk=PIwsXBtH5XKGuZDD04PEynIkw7q0HZ4YFrd76D1PRcU-1744186522-1.0.1.1-QqnnMuHIh3GoC8EQHVYyyIUiMKXb.TUcPZ6OqUNbti4" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>