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: '92d47f60bce5fd0c',cH: 'vaCKGVhxH5418wmbrWDii.DJU0jJ_MogTY9ybz6WDoI-1744143964-1.2.1.1-oYIV6gIVRSEk4LC3hAP1vCihnJ.Dia1Aqclgpu10mVul1a4k9HT3tPZadSBAvKJg',cUPMDTk: "\/?q=rf%3A6069742&__cf_chl_tk=ylZGWK3_u8TCfsNSoo8PlRKWEtWhgdh5Co2HkYWtf6Y-1744143964-1.0.1.1-MlOtwcbPyb36145DC0ToNnog0F_WkvRj_7XxU.u_byU",cFPWv: 'g',cITimeS: '1744143964',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A6069742&__cf_chl_f_tk=ylZGWK3_u8TCfsNSoo8PlRKWEtWhgdh5Co2HkYWtf6Y-1744143964-1.0.1.1-MlOtwcbPyb36145DC0ToNnog0F_WkvRj_7XxU.u_byU",md: "vIX8oyvMzOMq1xxdsPxNrMMFucYN8mMSC0l2qLITx8o-1744143964-1.2.1.1-Ab.vZBM9JXExQN9G9ZsaoVll6ZRSlZtTpeEzCbgqnP9cbp9nrUaD83bCA3iJ4HbqP6dKzAKyYraH3C9vnxbGBnrcFQXlIuGddsQyqv2vtKqS4vGXKSFMGE352R7IgOfgSt3BieNprUmNFLc7fTM1sAdMzwnbcndHyhHveKRauuvIn0WXelYDo9y7kDvPazwsH6z0mhv_d9sIKlQiDWAd6YiyAYb3eiJpE.4LAPOVUkabsOUSN.1cSocU5.ghhI9fPiKwiGT.EqZUVsKxlahHwVX6XAe3l43Pz.zMYxnFaf8SOq2iYNhVx91frHMeijDkHwInLpHd2NBH8aH9dwoO4uesh.UrgF3JuNImSbSuhUPa89lmmxGwP2.mB4m717TXGGSD2WtYgHO0QS3s18gM1aLOEO5bHYUpcCMcC8xZ1ne3UIvXMEP4m3ABuGmTgOqOZSvBX71QaQj_6PZd6rX1rvnebikqcR1y4DxQJ66ijFwd0GuD5Shhbc2mY8QpO9PCi9_bPF6HONpkqRhk70rw1lCpWfS9LRBbq4QHGRy_E.nX3PLjgYrPQ.jJZ3NHoy0C6PcylQHKtk66DknGuLgYmirKSK9vDZJjG2tuwziRIe3bYZnQz1cG496pF5bUCVBlIeaFWs9lHVHjc3peiZjbvhRdmylaPpA6zccJfu._WwfNyWAFaTRmAdVX.JlMNdc.MXTCwJnwWkRVoIJaXrOcFLDSWicYzaWJ4k.Id4CF64vYDH70RhbdbQeSDUcE8UvED1VBiUOVK2gd1kbJKwLXUz9lvZJ6l1m4j7Pf.SovLdAs7t5.kjf76v5LftFg7nohY2UVR8nGCGjJUYd2tTzq0pXoPQxGQZ91KDqyKN.2Cuuj6gvqIFWEm2Td36GEABKWpFw_PgzAl2GwVxJXDrvDiuRnGAhhBy.4NwIq5RXbWJ8ehe3vkknJv4.Dl7NNIr59YSFt0IyIaP9rssz_JFakmJ1I16LXPvChl_8cgtE0h1A4LrfV4KQtVufhzWP1riHbVm8vgMw4S35hxec9iWln_nKuo0Xy7TqAAtMQhctp6ElB5v17QvHKdRxCbxGgGLBkrVr.cVsQFhEh.an_jJ26e5b3R4TLUXHTU6z2SfZ.1q9IK1UVFk1XVXajLesCP_6szCXNM_FkvuWkZwaH_L_lzdoqOEOB1GFupnkZimZvFQN8AArpWziXHubxd3W.SWdB",mdrd: "BR0e_af468aLB4.xRo0ufrPJXKoD7uBWxMkvI1eWpGQ-1744143964-1.2.1.1-eAsL3WPBKQqfKr011pBG2iSTi4Hl2XwC4.mkQ66rxGFZafjxv0GbotLoBiwnnNiIBTuYTxfLcgv7kKm8gi0c0I_B5BgZOLra7tRrbElHyueCQH_jI8WirtYAzaQgihKlNTgppZakTAtRA5nDK5wh0aiBdxmTqJyaCyhLGmnhz_w3_zJFkmxO.qcevAtbyZB7YDcuQeMr0ROnEctK_6Uhgq8nqwxWKoLFzQ3PDB7HbfIfBGbZoTYajJuUd2p_CCLPsb.2NJljVwj8Kj1OJFz3TBlPyCLV84sGCYnVvPsin9Q721u6BsBthAWnPpcyhnOiyfpUzA5FBeKLwZg99GZuQq6Dokr_8ESbotz37G96HT2AxF4xhdhja722jkfNdes1NFRwcmIN74hEaI2hYoXu47X5y8SaDswsfhxfZvz59k_9XWGzr2QTrmhVlDIzQbXBL140jyJW5KPg985Y.sJ3wokp1jRSX4jXuh0sP7zpmOA.EHjFPlCluxL4G.4JkQZau0zR1jKYGUDDuunCkdc61afRKx43C4j4smzgEaKYVdT_1Il7UI_SfzOdE2jOICffQuosyDJxsekqYZJY88TQpWc66H10EL8bi604hx4Ci7pkAGHDfJAOpVfdSTX__gQkCzN91LrQLj0ESTpo4jhQORMZAllHFkZd1zWDCrZaWn9Zn1DC3Rjv3LW95ntOZnPxV45S.sB5L4.BBBFiH3ITZT3HaRlCOiP66j0er54ulJ.b5CV7LC6IWMhHfNncWC7WHw2RwPiuMG.SaWrYexJA4kLFRkpJQmjsobWMijHh2DOvbSlgmcB_qbygtJccvD5NkPnKHz6CeuqFAjZvDhnQAAErySzyn063BkfxN.PHb1anJFhg2kZcwy4_mzGlBujcYPp6ruX3Dy4650ttyXd_.WcICAw38uMXccDOLbha5okEUngY09aaM98AhqPJqVm8IKkefnXAJnrQRH77tTl53EbUD9fMZZ.xnCNKKtNjVa1Mx5TKFTjPIq_MdDOjnZDJD8LgRfak6FZl35vATxJ_j_T.WM3CmV_Yi_Dzec7k74GMQGEBpVI4h8A0hyw26kVGSHg1W8S5BAFl.74rs8NuUNR6ai833If2oEOCSVcLioqs_xzmBXauepqlXJHR.T2GOU9rAiyqBEUtrwccw_WZjlaKwDVhQjw5bJVvmPI8k2iVMTb8vi5V.ig0OZMLk8dTEWfxcTGDJzT2Eo_H67hmDOxqi0ieiEYQF_hMz8o7EbYLS5fQRHTiWft.5gQ.UVrAwVzRDJluvXiNZ.KS9v5qREkft.s9O4HSd4_SVr9NvhNvqQ00BId6JbpIdC07t3HntcOgYMhfE.w4xiYzaWtbvw1LVRkQcLrQaBBVFSjcDFqI7YEKQuGEbzTJTMGTUBwt8MnQiC03zylu.ONsr1vgv.WKiQ_Hy0Jl4Wtv2QMJ1JnEg7bwoQVfwl0HN3ro66eu6KRH7GQ3y2oVnILdN1QkhlE1kPDUWr9YUAWH7Df8wO3buJibbu31vOz9Qjl914C0X3UziJOMVYo1qEq_l13rmKFQCBmtEJ3fdDGg18lHwSdcOooUhtVjToWXznCnyGxKmaQ3yH97AciMgQxmd5Y1CZw61jpbleDBd9XsgMyH4R8DXc6Y1qNgueCl8e2Q4zkqGHTpwLxHhJbQZb1Nb7EvTvnfu0AwDChQ8fquvMS2jBYu.KxrG3BZiF1Tao2Og8X.zlCbty0ZG.GfLtuF1wTCXRRq9BLHYIW3PiF.sY.vtOIyidKJCyU9mmPokhiLoQZn9BEFDbf4eQvdrHGMP_ZCA0j_FwtkeJ.1B5iuH4CvPcosOdmRHs9BIWkUsyYbDvExHwpjcH7iNnzBEv9zshc90zaHjumn8oeUsOK9QFcfS4obbuo8rc78fejeM62TP60sB9Jrg_8o6BRb0vB9dw0jAzJK.c8dzMhVCK4IIBXxaBJVYOK8GhehznR8o2wqNmVuDr5HEEQ29a8UIWT4RuynH8yXqSzuAqBdLE4sJMHty4WgdOeuC7KTfyRNWBg_IRbDWEiPJmgwr2jncCs3t75piA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d47f60bce5fd0c';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=rf%3A6069742&__cf_chl_rt_tk=ylZGWK3_u8TCfsNSoo8PlRKWEtWhgdh5Co2HkYWtf6Y-1744143964-1.0.1.1-MlOtwcbPyb36145DC0ToNnog0F_WkvRj_7XxU.u_byU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>