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: '92d9e095fa939cb9',cH: 'YzCaL3I62OcAQ51LE_m0lIPAjKT.n66VMCEdNO8xwhM-1744200374-1.2.1.1-B9hgzTmNKd00FUkBcqxFuWbKzPOf9poUAj00T31I9uqe3_PwffGbG1dnxW.msA_F',cUPMDTk: "\/0282.62017?__cf_chl_tk=UHEs08faE49K77v4RcNFlX4E1HGcr8o3a0A6X4_vTAY-1744200374-1.0.1.1-dh34yGZGJxYmJUrPS6alMgA51sc3wj6vJkt3_Zx_CpI",cFPWv: 'g',cITimeS: '1744200374',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0282.62017?__cf_chl_f_tk=UHEs08faE49K77v4RcNFlX4E1HGcr8o3a0A6X4_vTAY-1744200374-1.0.1.1-dh34yGZGJxYmJUrPS6alMgA51sc3wj6vJkt3_Zx_CpI",md: "5r.miEfSMakGk91KEj_m4___4p3T8HUfGg8FL3mOF2g-1744200374-1.2.1.1-JNc6crrEMaTfLK0cyi4mTrV4qqHjlUqVSKFJiSXJfFIpg1PhsPG6GyOsK1wB5ZhJ6pgthLWtW8nHdRdSvQPslTXL4UCF6AoLVir0NT0rnR81XUOvRHFh5DbuUZ01a6uBQF40sOpW72YVr8SHg2Uf8sh3KwwWzWzjwswB9Pr65a.URnboKqTbVah6w0imKAxAUOH6EZpug3QP8N7RJDN2egNqdvdJhfCuuwLcn_J7eJk2qgxLPzsgqM_F0yQAdg7xvhsJveeqWtmFRa0c9jEY1wE.vqo9ZE8jqotG6ZtZChrXS..H3juKykeUkeZete5ftLciSUyXiFmOyj_t54.rGSzIOZZ4t2W9hH3qADfGe56y4RhEkfGPKEpaX8JkDdhGwPBhjX7GcgXb.vxjJ18BEoCwW_1.Qx85jnCliPPum0QkS4d8gudHxmk_ytH8.1KeHnGqECoO1qb23fZnuWZ1sVLGkgRKcbC8KANg.UkeCjYQZ.QCZhlHwwrnY.UtZANsu9zY6TBAUC4K12RtFJYSSOIZDX32REd9jnmvhwkP.UU9cKwU2DpnGU9tHhb9V5Zp3DSc69pd5PZsvFayDWCAeJbfgHsvqTDhE3C5Y.W7Al1mIAmpBV4HYQ8yScNaWj8Blcr6TWZE49Q1hj3M8EB_HsBrBzpHCvxNVPiJeN5Yo0k4dASydIOMOLSNLWTqRoszYfj.paQTjidUWB5Sz81IAzCqAK2JKA9QhrnLWrIfN3rPtox8CVD6hVCaMWdugnZ501Ko7nVuAy0DF0vKY48k.idMS4K3FkMz8WoWbDjckZbCR3kRbcsQK0t34.QmHMsDB4xIFjHt6vDVc_c0rIJrK4FzHfJxeuC1gufH2hHN5CDwEJY10HpxR5NNDTIDvU2nkBYdK8o.D1MEq2IYtLx11JOss2smbrbPVu5nYaiG0hycTNAB.DZId0IOIF_ngumFfcuPXGtpqQBLKUTLeo_nTL8bo4gk3IgNZssrvKhk0xKBulSDkNUyCYB6Po4AiJXGke1veWc9RGtybYTsfX8P7F4kWWrYxrtWTFzfnBmcBAgcbFborVgKYaskkqpeBtT0IqK1Nhn3lAlzqjneIv25ui3a8L.DK6RMjISzRK7.JyezHZn4yPCCwz9_eZVfzLwt8yoS71XDLmvKUZCKHItd769n_EUVlEdK7ycRG.E8C5k44MVoVNOA51NY5GVpGm2D",mdrd: "KVH2h1khYSu7Ake5_fhGRCtzw_jj6W7GUQhRfJH1ZDs-1744200374-1.2.1.1-SJiJM_gZFw.dsQ8yNkbsLO.ndukg_QXngS2Ze53SH7kfJzXP4X994gMBj73_StFFV832X5zP.rAOg5T95D2zaeHWOkWeHvJHcT2weeCn9BkovQCuwlREz8hmVcReDHsu86rlIzLDuWETvLDv1xpBgySX9HirREma1KBXKfM2YSjcnjR0SqYy_F6n2seg5RaUdlUfS739KY.3F3JHKtFScfyFUJPTqG5t_CgKsLQudI1gVxdSHuo3p9q2trXKmKuny4jZDQxyrZdUSfkUJfHu4RExfMYG1tWOTN0LYlV8ws926FImzYVe5F_4CqUf9.O9PRjmVikoGUDpcvYaFUzvGh9t.nUgr0blMla9dE6b5BBNhs5PTaeMVX0uSeqYKY4vgWSZ1hWAo8QH2cs1kFwwaHyaX3EeGzRWqEfOwHPl42_CU5Abi0Hy_7tSYfioBrwA37MVcvyd9_S2hkKGOUIFFr4GqRpC_BfX4ECT9YFEuhYy5uNfagvJxM4QEz.sYd7faKmBveVPbPb86VavQzyZF7i.u31gxn3ouA.ng42ObnKkK.d6hgF6MSxYXHqWqXsArCzkZsl8_etb3LT3EOxh6CTZR7k0MrrBC6_jEvSKmuBAJOE4ksd0GXyLY5p3qWf0pZKjsof.84NyZNhBangIFWg7XzvpHzKb6.GqKCULBzwL5xS13_Wz1Khod7aZYGnwvnfy8B1EX7EO.255ya3YKn_PFh5ZvJJzuOc5YSZv0EDGVJZfMQ.jK7bmWo6D_x8AOujLiPAEw0idfo8Cen3YJOZKwOWmBZWZ_iMdA6qWkkQXXiR9jJlu.h1QjiSy4jHCL7XAL6kDE.SSKueh7JIHG5O9_z_Mf0IYQfccft81g.6le7HVqtzB9VlOcpv4K0vH16LY01ULcl29XulV.FPuyVG1Ce8YETbgySDbynyHC0ijNEQHp.kOLJWnIHOejS2xHdGCRvIn6xm3jLWf2aw_kkAJk1lLXpAtIwsh_AMSWsF6XW2mAK.8KDH3ym9Sn2JvyUe2bCLFo1.LPnmSF.MuFNIY5XDywV28.1.N28EzNGYRuXL_EF3iULT7kXXk.xH2GugCgO7yiutOIUmEZ_q3YyDG2bK7blRUOc1RXq__sMjuOa2ecUP65qe.ObUjadVW.jgQ8XSgRUj9myt7jax3446nJk.WmKG8Phzg1CJf5JizgtGDFJqrpTMi6rCNMdhGxwZpwOtlFrvuT7A5wycYBhO_LBD8cf.d42Mh040vqkP2i0qv8uW5Y6tzWRbPMSRpzOn_gFjqgUqs9lGKvffBauyBQzyvAhm1fCwFzAxekwdsmu1mNEOgLJhJWQnQgfDVx56todRvKym.BPFu6s.7NbsiiEE2grbW8twpfrVlUqERWDpPCDSELzmN_OgOhNUqkiyQY1pX0KN4BVt1HUrkhFUJ9VutGoSakYM0iU48wqYXrkdDYgbpe8Sd5il2WKbp2kOnObPKWk0qne5aEV0Imt83zgpeDlSybNjGG8vstGPPY7X7WgY4IJPPbYDsd.sD4GWMEpN1gjyNiZnE5ndUokDyon8GhWMXt2LY.Q23O1pLcog7G3qTqknXDwcS7.oF1UCQsinhzUz8y6fDLFliAZ.z..w76.q1S7B_bgsYVc8wmdyHyQKa3gn4Kq__6WAucOzPgzIXcfyf06iQUrXspLLYvwW5XQCwmWUuuMTnQTMPMube3_FUsl2P_G16HQdif..srBLg5AJ2HZA25Dd6AAKwCZWY35GIgntbRNu679gdUbVKeBwvcL08Ymd3UhhU23BlleHT7sQNsMGZahyYgDBpwtXzDlph6eFxB_y7eg6LGRpWx7JYj2TXcQJn2Lieob8u55VQXh2P6zl19VG8WIW4xS7QRsOwk9zlypuZwAqw4jPmWfvQpwJs.Cm426UiUmiN2w9MrO.hj76W7NHk2QxkMUckX7rWCpgDP5F.3Rr0T0iyh8bhIIwPBHhx8oEAgQg8C9pSWbp7ELsapjjWl45rlSdwKWbcOJxWMJAlSQnoMXW_LIqduuqbu8cCeoK5"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d9e095fa939cb9';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, "\/0282.62017?__cf_chl_rt_tk=UHEs08faE49K77v4RcNFlX4E1HGcr8o3a0A6X4_vTAY-1744200374-1.0.1.1-dh34yGZGJxYmJUrPS6alMgA51sc3wj6vJkt3_Zx_CpI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>