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: '92d3e80baa201ff3',cH: 'vukKbB8KMkvTopIjtYtZ5PmSdYB5AtRw5HGr6CukXqk-1744137765-1.2.1.1-iE3ZBR7c8gxftXdS_oRBtJyL_F3S.4aaG6YcZanLzrtCIW3U0eyjXXAni7NeOs9z',cUPMDTk: "\/1395.62114?__cf_chl_tk=a1m01CfoEoV1mnOzMwMTuNwEI57n1_eAgEnk4.MLcEs-1744137765-1.0.1.1-kvYyWSSukenQhKS7M6LyVlXxLVcyKwzAJZUtxv01xgo",cFPWv: 'g',cITimeS: '1744137765',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1395.62114?__cf_chl_f_tk=a1m01CfoEoV1mnOzMwMTuNwEI57n1_eAgEnk4.MLcEs-1744137765-1.0.1.1-kvYyWSSukenQhKS7M6LyVlXxLVcyKwzAJZUtxv01xgo",md: "KXXNZM9VBTUJky70KqHg6VPCnZFmj7JfPDgb_xpHUhQ-1744137765-1.2.1.1-PHT.VgEZv3f2MabCvdhEI2X_12DOqCcSpf0Mixqb1JD3Ijh.N9jkOKwTc9FVGITgRmjAqz3Ngu9tXYmxp5Ris9H3CcCHr0s933uic_oqZbrz6WwDSsUM9X4pW5myjidOFMQ4BX4F7J_uTJl1PlWNdnPWBHLPpeMQbhzKdEvJAcIxR5bf8rGuQDdoZsh4X..Be.9CkQ67ZwUcT_WhPIpyojSuWnqq3Cf9KCUv2TacxoK6mGIhThXRY.p6ceMKQC0VnUqUz1QKSNUY1._p3_gkuVoO09WWmn4O_GfA8loIxLBM59nLTRcgEoU0vpHIR.AMYQhTLQjZCQaZxU.PTm4AVusfjTnTzI3jdGUJZcPr3tX3O83ao3c9TaAVT64JLuzdEJH1ouzdxmap0qM4MUeBX5LF8q.vkzlnNrM5mc8rd4HcRy4XZHxPpoo3j4n9l0bcFGjsW3Em5wu..nfowqgHzaiNljqtKRxU3hHf8_HyBmpsqPajmXFG_lHkAeKa2LaXfm0naYAAjt4ogjtRzEnoaHYje_ZK5XxfFTeqGeXnc1OWJDWgpz8BOuBDNXm_.6N2Z_KddNnSbA3VHiRc61LxTTPl_K8eAoFfczOMGMrzcB0sKx.6b9S2eewIWuDeFhjgkBtdX5gKTW8ygb0aKG65P1zsWvGHXeFb70s0.sbRaJzbX3x1teeULjpKP8f2FnxZJb8UCyXDSBl1BoQcQ4AZcrWBQHsW5qiPMRVnSKDKHddrw8OZx1gC1WLPF_aKalbQz0zi8coUSe0gOnbUYGcse3jyKpTrjnvjAYgarrHRv1IgkOENkIz_AfOLwSZgZkRDdSmda09Zy6pFqX3Wz6AhbxBBz.6HTY75UHsq6gVAusz6BoIzjuqCMKADy0A.VXCvlqXXQDfPHVUsZUuFWsyNuHuEa.dQ7JBE8pUZmkk8qNSW38defeWFLeVlAJ6hiQgv5zSW5HvrGKhJS6utgPMGtLvsPVjtjkrlA6vXrXqauZI1IFAllJaABPaBWWNeayPmw3HtlVkrGPdVIchhVPNcv_0QZmxqQ7yTapKrWYia3d1GOH.YO6vsA4nt8EwFeTHKDVwi_aJ8QxqbWRt6W.lpjJfEhp8ptddn8PJFTsANzuLa5eNQqpQJG9QaxAYiNd.T_rXn_EwukGg039eW70uHpkhl2p3Fb14Bm0b4XA_7ZQzAfdVrjM1RJ8kHek8r_zc4",mdrd: "rWPG98eBDffClMvlFHT.S0KZ_QkPoDFg_XMEJCvArU0-1744137765-1.2.1.1-Xjqroc4AXNd7EY.ykVpgRB_pgqG2g99q.D2_IE5_iJar.zQ6Fnw_2sLEKba_eoGowIqGfi_zYcKXZo3O43Vjpn8XdVhhDlLVodXIASsOQqQW1zVeLjmD9hOFL270NxuaMuRJeu3W4V_11nlXYAyuwegigX_irwpq6GUHiLfYU50YEHVGzXMm1irVXlHABM4n3AnpIz5Co6Dzwpdm9Nql_xJ5GPE1DAgFwCWIOvf9u.lXXP.gI97HiJXLYnvg0DMt6fXlzGx90vc2aK5SG6NxOlucToYUI_mw.0YSiBFJ2B5U0WKVtyk4tVfiPTwA4RpmwXEXTEti0QCsbhgUiqSfQxI5xtkFP4s2cRp98jXi8L8CWjpt0VZBO5gscKDTPu.jfOsK5Z9tEEYw1F8qy9EeeritQy9qgt_.YuBCgtPUh0JViwrOzFI528Yq6HksATu6Y4kOI.hLOQc0SE9RHP5hkj3H07zV6qEaNlFnJfs0PB75Q5W8gollLaVXbJjghTBJWLTjNqKtzUCzI.SGFGgNSzbrPtdQnPKgOyoulOng.qBEd5qSnPhDAJ09wPZrUKzGDipk5mgaXVLx9eDOAQ9XHz89kqbjtI_SMREoXzzl8i0ulmgQlMT.r7UkHwDw.KB0eJ_SS7M0DGHJKcu_GsfqUkYEU4HMtazq5BWRJbwZAZToxWZHobw27GZD8m6BtMqqJML8flwL9lyjpDnMIfRqCT8t89wjLkNNZxxZPZovxi_4DWuWUJcV6RuKjW4.JUeVIACBB2_WN2nVb4KINuHZnER9lO1J66GAroJdWRNUDGvL9CBQNyd5zK6bVWka.NQ.n1Il7C82.aUdI6GZJOraQnzy2SGLBBgjnl5EExzkCRRq5ABaysIAR6BN_5GjXy.proURv0m9qynnQJ1MTTlM8sZ7WE72YEs5n0MGC4AWZWcPmSWeBNDm9lUrLET07rkJqRwHnL7CebTcTiRaIycKMfu.eKTwusDH3XAKqxubml3Hbctp9unRb8NT9286exl.bKI_EPdV5yDhqaIERUaL_mmlxNItHLCr5EmuonnCoXtfubiq3nGHriToQJJ5HZcNfK4S91LzAgAEyTbrjvB5enwW0pnMw6ASkDGwWk4hl155oRSi0rXghQH3jv4k2T3G8kjBs3vKpOMH9ZKR530E6WrwmF1o5470SGXUw.ym0jiP7n649ASkwjkfcI.ShsR9PgoHmrh_45_IbZnRQOvpwo7O8RBIkZRmZv7LSfsaj_dmDvL1BTXhBGNbxbmpwSt2dbwWat7E8EiI5FvH0g3srxFCSCyKk5lNCSUnHtf03ji5oJ6xXtCVWK7UgdJ9xhmihr9RXv4MmVxGut.72TaNZbq5Z9EjSwBphb09ylzwv0KJEfT8Yk8Jjiz1gPLVEHkC_iqgkZarJWwJWV1tVGj1r2YLL5CAe39ByAyfVx6RYCd3ZDiqCMTFkXoX8pfeOvu7RLh2q.RPRup8.qEUjE4h67S0gBb2npn6OMqKvzabKuqB4tusz3rXKmCiffspNmVdEPkEgQcJt72NC3_3oa6WlFVmt2nFsvdDNxskdQQtYdBntWOwrlwt9Xy_LICFlbfFGc8WrwwW7CGfZ_ZlZhFF_YzBQeG0jQvJH33nEhVZ1c81Yl5ldUV5zGyq.QI9RC6t9SqsueouhF3fY.emCbKDJIL18rMv2phD0F2M2zP9pZHuXRQovPodxjxtJpCzF2_1sxZwvR6okmME_cUnKul5ykqUtVZ6rB2.n1VRMJ.WQ5YpJ3XcIEFAaOszvHssOELnYzYachE2pdUZSoJWGlCfow9CTbwlsQrUJsJXZMmqZu.J7b6n.zl.FMMaaCmJWfWGPQV6eQMZ9DdEzClZ5lb0enlH_YXzMqxTFbdauSYbF6GkS_5syniZlWt_kUhjoqQAMJUh23UBt3Bs5Rzuetx_sp4B.Ah6VU5G7Xw72yJOJN997HB.88oQA5fhs5GqMFM_e9H9VGeoKFmuVunOObqCgu_Y87NREvwE5629jDwMbBXeuQcQbY3ZMNcC5iTqnBWA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3e80baa201ff3';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, "\/1395.62114?__cf_chl_rt_tk=a1m01CfoEoV1mnOzMwMTuNwEI57n1_eAgEnk4.MLcEs-1744137765-1.0.1.1-kvYyWSSukenQhKS7M6LyVlXxLVcyKwzAJZUtxv01xgo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>