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: '92d4bdf41e9d9e32',cH: 'JhV8nBQeyqm6vmEnkSexzFGdKKLKH3k3xWtvRqaSSZo-1744146527-1.2.1.1-gp8xR94HHwmc.n.5xCqxv6s2R.AaTRlMfKdCQPKhFqLCAvjG45tPbPcT2rSCoKde',cUPMDTk: "\/1167.34382?__cf_chl_tk=KPgn4gOpYZ2dBnSZNRa.WcHT8KCDi81VGDA3oHuUC6s-1744146527-1.0.1.1-4gmWI.axD6h4WG6Wa.yHHyKXspowTZ3eF1Urfn7Xx4M",cFPWv: 'g',cITimeS: '1744146527',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1167.34382?__cf_chl_f_tk=KPgn4gOpYZ2dBnSZNRa.WcHT8KCDi81VGDA3oHuUC6s-1744146527-1.0.1.1-4gmWI.axD6h4WG6Wa.yHHyKXspowTZ3eF1Urfn7Xx4M",md: "czONaYZtZYIB4loZwl4PmZn_U5xUVotIeejEEF7ocpQ-1744146527-1.2.1.1-Z1l_mtjRsEt_Ci50sTIsl2G6qH5XW3qdvB.hdayN2i3NEpjS2LcyDk0n5ueQbAjMrlTXdWkjpNk56jRrcubzYjCbSF7_HYSkYhuscFKMQpXS7iQTi1wLo2B1XZZe04f0soNOrAbxPyk4pE_ibB_gSk3SOIgiCnw5O7wDjWSi170mIDg.oG74pADOphmBEkB0bG4H_j8GAI6HMrtKJnu3fSab_Hje_bB9cbSSMTNJ_YBSlNP7noSVEtj5R02Vcp04T85lAnv7HNzVKx0vnVA8hv7Dy2qcSnroYFAh.tuEI64WLPwQbxMNE1Lm7VdfWEnpoj_mj74cYgBpIH_9nG8Q5IudTgVLfUbtr7dQwjhQY2VvXDfd4oLcwRNQVQv6bILGE7XUv_D5P70mKigQq2EsD1ERM8NMlOhrYQ2DJAQO2_S7wwDGQhKEzl3ckIy.Jxo.bd9JSuw1oTMWIBTRrEYHJCQNpVrAWAbbz0yNOVGkPu7ZeWTQsFrK4G.eNCu9bUDravN8C_M9w4ALfAMfhoKB8aMEOnUpfFaiiQZNrSuZeDr.tls6A8PEgWGqMgEvP9GFYJQmrlBGhUyqVeLF6dQCcSipRVEMi6NG9zbXDYYYH4UPDIINuwnIQyFaKPeU9q_F0u4APbr6AYbifd9E4YF7UNVNCj._.f_MaiI8vRYrc8an2LOeoCJqnj1oXg41.JYyOOvC4DR2sBk67nJnJDfXy0HOEJeBSuQc1Hvvtf2m.5Ly14u1gZ4HP397EPFAB8DImzYQtAxT8uHMBBf_AnXr4vA1AHrJbST93CC3zsyhzVjTO.XdW.E3PAcOlTCHTfkV0VqHBXnA124Z1ObywOjFOz3_LQadoMdaHHdTnBY3QNkSRFnk0klqss_0Z1FWIgY_92HpkUeF0mJpk6kdTAjGR4aC1b2G9pdhV9dj7_RI2gk8yFm9r7CJ887BwYmC58Xvgn9aJTldhIo5UWGS.VDc5aEzQdiUKtP4TWxpK0XUcQf1OqyRvjXPd5KYaxTFLEGBZBqyhZuOvbEIVDvU93yGjM33WIB5gK8uYrkXmfBwbIvR1_O8acL1eCoKz6sgJnOgrMFhlUCviMiGLEOqN4nPDjayl9zZ9Ww7f6614WAvU03GIaYT8h_lH48EaaI00J64Hm4h8YbldBAzBYU_xNgRsZE9OmP9lYxsYcIoGGl69PGjIKH6wPo0_Ai15dUkMPv6",mdrd: "frxduHQnvNEDR4bIJlBz4GNdMzWbD52KXUIlsguK1f4-1744146527-1.2.1.1-hX63uF072V5qGHoW8tE6LhIXe_XIZyYcr0DpDNs8LgdFMpxh2C5AUOR9lCzQvoxxGx2yIz_gJPkdqjPlt9UHXGuUZbknCyrVFVNS.42Qndy7ihamMl0uUB9KmL5j8OoLhSyTPXjPohWG3S_MlitzpDWOp7TCtz6EE4P71YLpGbGdx8s8A6SYuKznvsmP0mqWRb2jikQZXvjElmPE8D9hyNf6um2vxJ_C_nT4ixtXdRBjI1xw3TFU_YrlyYygoUii7UjF9sRuLpBbD3zehQ6hsQkCSAIH_hq067uF0ia3bCX_KTDwK276M1euoo4HryloqncWmqV8hg740PN.NLO22HlAphrbkrHE55azBgL8iR8J3AytEz00tNJcDIsqijj28KHhWYm0fIHP12SDIvsnxViGhzfoR7997iFib9ZDvJeB0BMBubTYSsTOxKuIXOpcsbV8nMyojSObRcXz28IPEJ.k7DpFJ7aP6cO6N8fCbeFVNDZ2PJzfaadL55OP1KvByQm8Rw9ufKw3DVF97Oskkb359.cKXddcMaUdsMaHDEJiNh9Exaji.R0S7gu1dT5Qm1zpFSd8mp8R3W3TZ_BZKxiMWpmCrUTHC0uVXeTUtvoc5NTlhyHpysqSbuOwggnhGUhtLxSzmJf.BX8uFP7AyT7neTJqac2OiXI4beyqGOA36zXu_s9Y9C2KOMS7A2PlmKt9dC_XU7qNcTeRJoGl7bjZV5P67tSHY5ifagpMsaWx9D8XPfw.VFDALDajH9wK0zurBpWk0yvjzz65loBqABP65Npsin3xEHlVuwW2roHU.C5KozZvJod9V5W1QjHNV90n7rZu9DUrw2oPWubwcteADxjcCAo8uGfxg3jlvB5FQrfHIkptnzTEoTd3VA2_KBuppf5fY5ZADW4jiR_l2HCSSETRY2znqyXxVNQrui2UjczAsU21iUyyd_hzmX3BaRXaI5lumW5k4C9npwYY9_sehAzRyaH6DHSEKHMFN6mNisCXsSIP2zMRHlgixNqD3zyIUPFVlErvZ0q1vs2cofZaYEaw19ApQp.xSr_x.8.Ynvwtok9sv.ft367mzHxDl5IVUkiSHuwd2Q_Rdx7T8C.rXsIY_4_Io5otFFUi1OFOmWkq3LlXKOzjNhlrzOLlOTPNX4ya1FfjEdfHFteFexRZ41a.zY3gQAlUnecOSIAtW6nLAJUPARqqo3RVHck3uEwlCeIt6xEwUYEQnsU24z4u8eys1RkSpj.q9kZFqDHKyfWOWiz1sZoe8n5LhD5G_jwcv4JlI_BRTaX9RJ4uEN0PeSWjwSO5d_dmRfOEWIemVtC9YppszD37PR6LOOizOixOBkT174czhWaaQK88.tgoiEq7uU.oOpPMSoSmc4Sxj5iInNL6psgkYFxY.v5d.yXckbFf1x1UhdSn21FETZNldJcjUPrcd9K5hoqYi9M7Pi9GxyUOUU8xn.linNT.wyU_KVDht5kgMY3EMOheH_ejfgbP6vHYlMcCM.8hnVqLrl9SZtGG3gBwb3RX4y21k6R9Gl3SgR4bQ2tCqsUtntZB8ncdK1J53xfnPeMDEwmiQVIoavGGtVhHVooEG9b_56ANsgDl7BfjajvIWodEuLdR3seklqVcV1UfGTyK56kpKHYwQrqHsHwlN006V1DwSYmiaWfqNaeyDHNhnuXVu66VsYT.4bcDDP2R.3T1JKrMt2niKz5MZ7GfGw9Ar2FMifYrLbZUvzPLvhxDlA8TH1R5uSgr5adU1KqAUtqbxuU.S4D0h9IPSZnzfEV2sl1jmla8pCffnN8Y.w495.hRPENY43a7.z5gBwDOa90BKomn0UtNDhw6EqAz4lCUd1PU.zEe2nSPDewfvafYdAAbNcqXSMxwyCJSvzOIONya1zUYBLdlk9nvhQOf6cZ7xfqo_9FPSoaQWtRhQU.rORV9BWPt8v.btczQ7dk3ZlfbOoK8YCzjvGMip7_aVZpPuwVeB1o9ERPLB3cusFjH3LdygL1jMomEKcXhVzDYejKbAyxqVjSxxx9_KQIp7TmjLAnI"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4bdf41e9d9e32';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, "\/1167.34382?__cf_chl_rt_tk=KPgn4gOpYZ2dBnSZNRa.WcHT8KCDi81VGDA3oHuUC6s-1744146527-1.0.1.1-4gmWI.axD6h4WG6Wa.yHHyKXspowTZ3eF1Urfn7Xx4M" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>