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: '92ec8fcb0e5ea8e7',cH: 'Dkx_4F1GpBPaLO4x2M3Gd0_0cI7JI_noDcScu58O2.k-1744396294-1.2.1.1-aPc3QEiMyAk4pWXo9ThyJ3HGvRp_rEBck.YQcrv45wtJyHl7x.Q5z5nYlhMg4dak',cUPMDTk: "\/0537.20013?__cf_chl_tk=LAU4FjqpFTo13L8nGBLbB0eJQFYMfWTcOZUSdW_qAqY-1744396294-1.0.1.1-jSCQAgUSH_zTU2p9gKzq1keQJSDEEOo17KogHyEki7s",cFPWv: 'b',cITimeS: '1744396294',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0537.20013?__cf_chl_f_tk=LAU4FjqpFTo13L8nGBLbB0eJQFYMfWTcOZUSdW_qAqY-1744396294-1.0.1.1-jSCQAgUSH_zTU2p9gKzq1keQJSDEEOo17KogHyEki7s",md: "oMwVaMkmk4EyEGpusklxuaJ7BfAUBhCzAxKxmcnmh_g-1744396294-1.2.1.1-7iEryOD1_GAGcbonvIoWyPXm.fdgU2CTHprTMhI7wwYBoqm4buKY0ue_M103Yds3vDE64w9x9o_NJWbGgnv_JnNT8md4QrlJXjoPzvUx5wZoje41RUJUcXTCxfsdkrULtF.DUZZ4rpjwjWX3mnzNyx62F6bnE9nwSHeb.vc6XgCjDlN7bDEgcZGSOcaRObyaCY7v0JY3eqyU5DD0D_NlZYbmqFB6fEFEZu2U5qZtz58BPfyPfXdVXtYHOEM4SVBgwe2loadeC0WvsGDnMCEbqPUXhOtdqMTngI3TSYnIsEZHMRC.aS74yh5.IsjDjiVM6PF5D_uVm0kojnP.8iz_jSaTDaLvp7U6o22pVMUSKI8BRf6y5m2_bZKjA7AuEZ_wr64iW9qkRK8Hej3DHJ79MDa558N4Rl.kg4oJDjEPMzgQtpfKv8Jd.wlPvm7s4PPe7H.nlv8SG.y_wJ7cuUN.iMsiFjOtZMKhKrfa0XdQnrUKkzETUS0xtBzKBJqobay6jp.W9liPop9taE.AIuWNz8FNYU5zuo4Ze4hI9RR9O_gzuHFchoB0gDFnXfACE.L6LOFVWAp.A6hXVE9wcoTbXrNhSB4kP1COG8hiCsHrr9f0rakbWLXVnTlL4mLzHgb8XVzGbkWM6P3tAs3tY7vXkYKKw0i5YImDzWvskIW4TgAtdjG9Wv8I1QWI3WoBgBPywuvvZm2FGhrx2fjR2FpNELMNaYHpqgr_Tz8M1XY7m3hOmCrq6BK.koENpTJmnlQHS.b30JNMfTf0T.qNLTpQ8nKEGRVk6p53uAHKWCPMwKFEr7XbUsrfy5vFOd4sRf6jH6m1BvR6sSh2Y7JPJb2w1rBf3mlo8fbe3_TIQErRcC26unky7VclT_bHihzeWQe7T7wy.X2D8xITKG2j6b52AazgcX9V8nu0vw9MuI5CNY0mzDoKObFY974vuHWLyycb2aorXrETB8YtuOQ8CziSlsXgNeXXWzr1NJOfVgtQ1uREwFgT32iVOT4gXvPHNbsblwODVUCSs2nGTyWZcd17lJJrLlIKIJ1Qu8u7PVyx7YXBuoUW4F2h1mSiXLpkGq9pNmu7edWHjJGIuN9AXN7dd472gU2HO3nK4pAVXyTjf46BGEn67Vg1mfupTUYpUDLicp0zh90Bz4DzsgfQS6xN0JPdFETNkdxKGdbGJkcJ9kX.zrH7.v3iQ4.YulksnzIu",mdrd: "F_szTO7OCRx7LRKHer1a1KtfLmZg2RiRdJqUXFqNRnk-1744396294-1.2.1.1-qvv72NZmH24ZDmtR_AUr.kAiUunUlc21i3liCoNYK5BzJ9w7oncEr_bRKQodZvpq5_lY6SdiZVQsqn_28J4SjxJBNA9aqRowL4sYqPAcBT.4iX8hWulyNyTUfnalywpVkoc7.Yc3XJM_9M3RZeAyeB6Vqs17jQZdKRajJsLrFldB26OC1O2c3jvqSlmyL2IpQfY9S.q6T9Dxe.WijfhbOOzwaRRs9LR7qXa2phvmwCPTw3se6k8ya1_eNzAzqdxFgKOgYuEIiLQmPszLlrmNqJ4pL2mIYe6zBjWfiYlmsLx3Bgr.wcVS1r_V8vsCPqe3IgdosOuRYgKiyiRtxOnpuPPujNAZl0oVeuHWUSN3BDXCP9RKPr7GQM1yJdbP6JaCDN4Izya3sk.g3t1pGqzdEzwCTqYXJqeXIkyl0BXfhzUEhicwEeoRmU.4IJNLsufSvrh0JUHl2DiKZH7w8W4lvfljmr3Jyy3mukaRaIuaHeAgtH7RGpspBrcyUX4JDrwCM1lp8hrwzfUjb4ADoQkzInAc.40.f8lo4g7_jc7tcB_7qFd9KcXnlb2bARviMcHnE09qKBbgGDPpISzc3seKuIt5KRQt1Kc1JwjH3k1HLui5t1xWJvUHQPB7hyJs0Xzg1YHulE..lHcwqGK3_XN57rg7_h24jiCmGKkb6Pmiy1pG9WhIunGdzvxhsvGcMGEuf1X4389MZRSo5pHSkBVHcLuvAXlpThUmSUpHrd8IYfH8OqqKz9d7sIyONwx0n0ddgXFn1xNKBEeMNAKc3ocUBEy4iLBC5nOZC_QKzjEeVf90S.4Rswatq6loo.YIuBVpq1fUKwKcs8QuWlBbf91R5.WjMPLUTmjYT2d9Rs1w8GLkonofeYQs9umdDMxH5OozWbSQV4qP0WN5I4K5_S4vWK_yIMIBBIpBraj2GDuJLqPzyy9v7l8e2bLtSD1eHdbSahlMBnAy5chfQj_b1HK8M6bYtPtjPgUcddGqcFV3d84bNZ2iheweEPQWTHVapWLjAUxnZcBG7lAOzKBHkn8Z6P4mjS43whFlgC4L_G1Q0BKUUpPuMnJkCNHJsbaY8LG53ziXP3FN2sduf6lQM7XVikwExRR12o8c_wmGOkPZsC7YsX0UeRk2E0eDai8EZRejIN8C.TF7TKVECdONZuPjiDn_mwQ0wYoZZx2VmhYXPVDU3zvyhDtwl1b_KZEqj6KR4J5DOHHBsnvScsC8Fe.HTQnyvzs9uFjS81UVmS0lKaeRuoRaREMFS9_ZrNqAgdDvDS5TE3cnXCeOxUDArWdKcGUCx1BtXpNP86Et2veH8pxnYnHU100NYuw_eOsMkNFOhQ84yYeVhtuDHTai58oy2f.UNgrNUOIMWu6KWFEN3Zskbrz9WBkzQjKPxl1OKIsc9CMuqXJKQ.R2F0pHFnW7zJzNWcZ5O.HjOfLVIz6SVG5MeTvXf94hFGAHL9deVufbtvMyHDaQSPM1NQRVcfRaBpXz7Hjr2_2p3A.bF6SSvhPFnDHIT5XcGiLecqxoeD8FAL6aPK.OuyZgzDvcW3BPQdwnKh3xTkAmDDZ_tDSSck8yeH3Y.5fPXQQU1xlOA33g1uVexFyU1eeLCkDvxWu4b0EP5zHMTWRaK22H7NKRte8ySeuN2IelLh2MFKvyUnIJcx3mYqj612bUvLMqGz6.pgXiLRLrROGlXoEf_tmHiajPmFB90IbQfW1foPavV6AmupbdRysAXoiJ0ZzTe9T_ozsEoNDzduEaojOWhfcxwgYZx23CPvnsjyby9CJe09MKxvPp7pL0igAIKe2gXbikVnuP_clatOj2EqUivFYPe2kFlfSzHUGIIZbyAnQYdpoAapzVpnW8KXPKJx4AJ2eoZE71R6qN_2tpel2y5Ryzs9FcvJU9hmpf7CMxbqOZzo1qsMaQSux6yNx0thj2TEf.4fREFhlmHe6AmOUVduGFTkyGIfeBf6T_ZmkKQi5qGImTZWw2Q0dmrFaiMMLoJ92.q4FGS7FT1jTCGBVhlcdPQRGEDqOqUL6ByXacph33pdCk"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ec8fcb0e5ea8e7';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, "\/0537.20013?__cf_chl_rt_tk=LAU4FjqpFTo13L8nGBLbB0eJQFYMfWTcOZUSdW_qAqY-1744396294-1.0.1.1-jSCQAgUSH_zTU2p9gKzq1keQJSDEEOo17KogHyEki7s" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>