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: '92d308266d1281ba',cH: 'BbrYLwXsAOCEA95BLfztPOZUuSVnuV.xAaac9shMUVc-1744128594-1.2.1.1-N0pXaOxs2IuiqRBCfDGe7R31e8v.pxzipav9rlgJ9K7icuRHhr8HEaz6ZWp12sXm',cUPMDTk: "\/1193.35262?__cf_chl_tk=bHwNXOPK3xSF5p6mvLLeaw2NY_Opito2C30XpRlOfd4-1744128594-1.0.1.1-R7.ypU4ZhGPYXW3T2I5aifZOsk..zyCF.XutUlCBYuc",cFPWv: 'g',cITimeS: '1744128594',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1193.35262?__cf_chl_f_tk=bHwNXOPK3xSF5p6mvLLeaw2NY_Opito2C30XpRlOfd4-1744128594-1.0.1.1-R7.ypU4ZhGPYXW3T2I5aifZOsk..zyCF.XutUlCBYuc",md: "4RCHNw1DkPVzeiaPLjO9c2hs05alZvbepcy58qnE6cQ-1744128594-1.2.1.1-t7oTJEUbVAv6Of9e_VPOvdDztJPWJ4vVPz08Z40bO_c2CTd3hLVJvfsPFUAsNWhlyt2Y76556ClFVq3AE1opDluRIij82ovmyEza6Q_nHEZvnNl3ZSOBVitv9CUdI8a8nr6JnaZucyh79E0KgLwxL67H3udsSzRfKWvk17dBTyYHo5zsiRri5ItT7U.XDK0HTwkAwh_UjpBDE..o2X1JQ3KUzxdDgyBwlHrgkIpYiNnX3pvrV2GbGenFT_GA9Zn6vM9D.AE.qdZ6wgTcuKr6lWJ5BObZvYfTU.lJgg7dyEkbZwlR03J21qfM6.r.YKRQhUB6sHqB7aOhFO6MW4Uz7ISX.MnYyx7z2J.H56sW_O_E7Wa3eRWc7qleocdw92v3_uoAx1fPdN8EBGedB9NGDmm5vLSm.I1mIB9z59bmM_mnYo_UITD2d5sK3BRjGsT2u92XD1dpPy84I4zRxLHJ5KOMrPKI3HjZSVpXuTNwedbPs.QZKuXLzQ2hVBSy8uNXfjhODhdc8pKGfQKihgwMLIluHOF8vVacEIKpl.QO8xnwO66p7j3zgOvDlUOLVdA4FLFAL2ILmuXJmOkWtXlF4VYVntgWLT_zB_GxVj64oTcWyEy7KShPLXqf8YZO4lQrSKQQo6GJiVuuASJEhOJZrnxHvZFlAC_tToeL.FLsTfJrdwHQM0vGMl_YBYZxexFnuWKDXzR0QD4E0hwOSVgJNmulWey5pZEGeE8jqFjiNuLij9wgN_XdMPayJsNZdIpC1bQfWnJO_p1pAsJUp0LY1TOhq9RMBJV_yUonE8wxIV.GpTUR_XHe_i2EPaM8blrILMBtu0X1houSUeRoknbKUsxX65kcZgOkwGf0E2lQxf.thRdo1XySR2nbBCORXeWFrj6Fj1IncZ87RuoWMmYEtkfDIjtPVK4KYdY8H6VgH8jfrcFe31LRhrXzcyrR9QHLcfzkE5NEVSGUZkj.T.jGoQuJOqYJu1JtfzF5ZXT0siGagKbVABnAsRP.BxoyJ2m4GwoLJu1r0KjXS5RndtsI.naIl6mMLaBmNqJ9mjy.5DUQ_MzdxXTXu8MCkJSgAI60wjLUgEymOUVw16DtxFRMsmI0y0UNbEWqf3iRhbDa8oDQxmVuaYadoj6XM0M_fJlEdtYdZ6E.s1QgQLQo1ATc.q7Q3BH9P3NHq8x5xImxR2NkR1YUtF_dOLE9X5eJ9hYM",mdrd: "MwtmIFa8wP_U1tlDyh3Cjv.ZltA80SzwBpQzsXSerdo-1744128594-1.2.1.1-cMxVIj_5fTp7QjEweBnI5w8KkvjhFLuNA6RWVCy_mhF974gXiK1jOvalQae_vzL9_V1qgW9InXtbNky4INTgZHvMlMoeWHwg.PPU3o_tSqpgdKgf8Z0krItecCFDJmnhUHUFh5lCGZYnKUCCf.doXXPS37HQ53h9NiVPOlaB9qbN3M9sWyGs.rNPGU9l48C4A7mRq2M2Rm4bsiyFO_ZoxHrVWo7ibdwcjQwidc5B9Upw1XQbXdWcmPMAE0h9wyOt25Dn9BfyfnMrIxC0UoWc_1skNyV9SOPMAwhaH3OSitwD.V4AOCvEC8RUUlMBNZlTRvn6ASQcCyzSz_Na2WDnbBUiorkUQNcUvGBvKjUNcIKLJxXXWt9w0txolclvjvOgj8j9uZkClzmN4fGtdbjWUY5ey6xKpfuklYijQFVkHfkiLOL1eE1JL499Y.Lj93.v75LlG7SafuLHTFjj.eAf9tCCddCgjLXIxkpVGjIqn1tJ7aKNH0wDBBhwFJXAa1kTKjoviz_oukzQPSoat8cR0Q0Q6J2ohtZSquk9.CMXdqhe2LGaXZSlgK3F0nffpkDBKmXOvL2PT.tNitkn8ocpydWjdrVViuqEtbej..ACY8YIt7NZ7YSwraeqssWoaM2EODTrfsS3yFa.TDwawuX.sZuXxq1NcVCeQ4fY55SJ5GRZoOAFCc7dbwZTOJ_Y_GayLu_iC5Fa2fs0CZ3fbSEraVJR7Yx5XCjRU2yhNd6di514CbYkTIjJ.DHRnhhxkXtvOiaUBjc6.UKVCw8VgEsx.smbWFxTDrTNfPTVeNV_jDxvppe338tViKR1TVMuU1kHv1IHWgVF3Xqzxs.0JYj13Y27ndbmRg_ckIYFvwBwXnnLRREVTAJDq_kflizZhyVjwbqViw84RP1pfVrgaKm10FGpenDIL8QdOYlNGYrjKlBLXAjInqWfHiYKpHXwg5ippE2l7TjlrEPYN0q1iQW_Uqisdit3vLHIje4YGL8EYp86ERNWDSSjjYF3tEKQpOh5lLnwKbEKSylAMSdwu51Qv9rDaEpCi9CwjYNiVQFOd1NxyKNHlHAUobQP1Wm6IF4wxs4axYjEizglQfu2gX2N0q8bRQgzzumpOw2jS0ACAnrboxywCsH.i36Zce.Fb3RdeYenNswdRLdmI3bkd.kC6HLyO4ndiSZUCLivSNTIiK4.uyC0yP8pnIYkwpqLbdN8xU.SkPRDEcw.XH6XGBAc_.KNFO67lcamlF0rWWaz7O0mkdc141rLsEja4ZM2JBKvf3cs8MAchSfV6CsV74sEjxJXyUY5aGJf.ub0WbCoenlTPl04dYkX6THHiiCIQb9FIZqlaf_fw.C9tdqlKaY5s8OuaELPTPKyvjWWyuZLjvzWbXa6hi3A62bHhKu0BgZBgoupYyzGojfubzGdLQ6VlT12uvZ0LpvlUyIPZDd8782aF0JtkZY5pp7qqCR4aOwWNWF59J03jWDLIaJXT8h9JT3O1xtvQKlfkp39i9D2VkQpNEhvv9n_K_Jvyv5.6zkvY3G27UMc.DBut_twlbVQv3NtB5XlIevwGs4G.W3feF0gkmWNBnBPNuDZq8QyBPylRERMQ6sOpFpNrKTx_tQX2dbxdeevd3yRHW7eFD1NcMbcDt1D1ZIAJBtPhsbNqpeMQnUFZAo1rL_izKIj9rARNJPmAofWTabF_QASBaa7yeYmgPylNj6f8m6hQKI9wn7ehh6TB4SzqgZERwIpedAfccM7ifz3nJqD5RI4ay97VtZDxwelRNE6rGQ_AulebYYvPjRD4OrYZBfQhVwGRVJGLvv1vVH_ToChkGmyx9o4WNG8Q37kzNuUJ.Oz5AfKBkIKOsdAMMTM0Foa4nW8pStJvsUEr7d3mHZBxjacVp5GkJh4RGR.VaCpp3t7uB45xjpZeB933zpq0woP7GQEJS7hH6fQ3eTGALVgeJ3cPpihbdUrOzUud.F6lsb13m7oGg2qqEumncpgVH7MDiOYMuT3BCh47Iu8Nne2dl7P6mbUrpsP5z40dXH_voOBY06Iz2exChVcE.lcKjgbYTgDT85aRg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d308266d1281ba';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, "\/1193.35262?__cf_chl_rt_tk=bHwNXOPK3xSF5p6mvLLeaw2NY_Opito2C30XpRlOfd4-1744128594-1.0.1.1-R7.ypU4ZhGPYXW3T2I5aifZOsk..zyCF.XutUlCBYuc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>