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: '92e7203c58413d95',cH: 'fSJoKrIPEg2I0uLPZN2agC8L3ToQbBzi3ZUHSLUSEsM-1744339296-1.2.1.1-LXmHb8b4e5iN.A_A2ETAAigUBodXxWcBExdr3RTuMRiDanDf283.0d4mKzrNoRx_',cUPMDTk: "\/?q=rf%3A7609670&__cf_chl_tk=SSjuXdpLeIM.AHkHjYd6cfaT5UGimBwQXPXdrZBUlcA-1744339296-1.0.1.1-Ar.4ORJYYVeH1Krq2xaVwGYilsDcPs3aCjQvlsCFQr8",cFPWv: 'b',cITimeS: '1744339296',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A7609670&__cf_chl_f_tk=SSjuXdpLeIM.AHkHjYd6cfaT5UGimBwQXPXdrZBUlcA-1744339296-1.0.1.1-Ar.4ORJYYVeH1Krq2xaVwGYilsDcPs3aCjQvlsCFQr8",md: "2z2lJqfgtIyY245VnAzm7Dx7UvKh.rWNHGvmMfjJjik-1744339296-1.2.1.1-ILb_S7uWzz9s9iV543Rv5VkZ4luqhWzC3O14nzc8akCRc0uOWE8JOYiwguBjoGLK583zTF3hYVfhY.3aQXqQPwGZ3kPGnkTstnfZ2qRlZe_p2kJl3r9Rbqlz1QpKoiDCx_ZXJ1FanuXNb3LcmH1vVRToHgAXRTH87vLEi4iURXwzJQ1EFwkRgNZMlEDKIFFYXpj4t521mNHaLNyHWbHRXvyooj5YE0Obb7wLcPB3gOfgeJsgb7a2L25nRdp5qAPmVcAQb9CVgeV1z92ig4Rzj7LlJmXPeKTeUWuDmIN9qM87kjq_04TnJaS2oQUZWsqO5W_TeKhrNh_Y72kTx0Teg1SzY1aTZE2XyIoCRKeVcXfYFBvRpUtjcessm5xM0yzcyH0mz1Sk.35wjCArcws319ud5MkgQ.89h9G1uWn6ZahKlfWAhnWi6oEMPdY0XMbc.y0XaeMpQ9.WhifznfUUSzouXj3pO4p9Ooli.bH0w_eczM.P4.r9iJO6xoxFHxYBX0xFHeso60PX9cug85vPomP6UNbKdUOkH7LDtToMd4.KQ5VHPXUsK6omtSik2ziEzlzosg51CdoveFTvifc3bwfNlC3PgW.XK4THD845GDkqoM1Nz7t9ych_4qFphb2_zpVy7UIXH.gZEHLxwV4oF7C1Jw3hmX4rLNLBX2pbhWNHhB17ze8hzqkHfT3q9VSdxD5Al.R5qLX8zkowBp0An22EHEldVd2uvU4uP1bM0bB_nwPxjqQHnl8IZaeIMNr3BRaZLOg03IZU_baMUc4K5WACzHDW0Ae28TjWv9ibY7ydqz4NTYBYS7O4gPd53laHUtGYPaoUAKMFcjdog2aFz2.5lmA1ZO6rLqLloo5i0jej5n.m0soHoTpz.dueyWKwaxaOI0BZAh_4qprIZKNH0B_j_Hr0_F8BMMfnWyRPEicanoBZLzSZytxjrNuzdvSrDU6d.UQomBRqQQfFsWpak1Sy9HGulXDcaeRgKTaTkBuBdRRenrgPh98ffVFO25saN3NidXtPQuNYq.Jq6rG9JcIzaE2Ics_MKd_YORZGURFiRi2dGAxqYmtRc87rElBK5IZrncl587LN0DQy.zuRe56CtTywSEicWxaH5GAmULxu2Of7X9uo3BsGdD4SIMPR470rtLOOU4yi9_EVOL7AhiSdVJkBSnw7_4.emO.K9RfEDAV80w8eBBav5.L3gd3B",mdrd: "78iy2qdyQJAu1iBz54BUWMyn6hHc2hpw_UvYsT5ZH6w-1744339296-1.2.1.1-g0KnxUtPOmbA8y2.OYtf1VHaKoFtVMksk.Tmva8PfDyUznzLrraDldX65rwQxWp2_pM8PgLNHaC5GtJxyG9DRfLSWJ.hC1yr4HHr.LkpE6UR5hscQwDYR.kPFNZzpOKlM7mx0DaDgtOTzQOogiQajkCdPCjETavI5Xhrwx5GzglyHLoZsLPyFNUV2Xg57xYyCbzfRUmfcGxEOUsKmFM5FdrMlZ8j9GYAS4ISZs1rMV.WA_46RIKSS.fgenWmXAcfVbuvOfHYLKXPCkqEXup6Qjehr8it7aNd1Z8txVleKj.pLlnbyhCmfoKI.qYgQLA_8vNv4TkHSjB9yqJNnSIimIhlP26mPGiV6nc7gu5b4sU3iGe9KOM1ff3b49s_0jG0dSxljeIzrDzEVBz46OdPnYovBrIRH7aDWwANr5DCjbRLQSw7bA7cSQ4H.zY4gmERAvPoUF9KWzwFKmz1tqYyjgOfcq.PW0q3_lz0AgIMr78Mte591bJS4OUQbmJ6aCf.BVm1rNwlDR84EYrc7dbrCEh9IathdhIZEoWdq3.MU2LTdAPZKXloQ27XCKynK3dIK7WpqEC7H3EjopLRieMahlaow9wak.fddPx8pcrR_DEGz3wp3bY7BuyYcU.3YbuE76wtzhooTj6rKrSgxdo1.74lfI9CYEAqtFyKdBTGUDwZgSMjSPZi7nWpb0Zc.Ykpfl0bZ9IqtJNLDsyu7BpsCq6VGOtUOdQDSoUXjJmvv8_GmJDOjui5rdAbeYR5Ji7JFxAuomYtn_NlrHmSUtnYekhpyWhEDOVrPQV7kKSj3y2GFb8PB4wCZFfzNlr3wT2_WnxTQxlRu9pPs3oOJ12LptZqP4CUVuzlMuzDll1xv5zVE8Dn0nbo.UOPamOinOrdYbkBNnn7o2V0UVDkWjnu3iYLH41TVvlEoNys3q2MXtkc4oAbJ4UPGv8p4Z1rVRv60E6xSAtq6mIhODartSPVM6KPdAmUvGTDD3V7rHJBCH6wpA9nX9VnVFNvdeGQGAqAdRhK3j9AHfxKxB3bYq1IPbDfct_PYKqAaKQdM9zBypqEzNS9MARxGOmo.9e6JB88UJmXvlJb6Zx66RBZn7sxelzngK1K00EnG.a_o2UFJeovZ_94txqk0FmuEq21308ebU1Wr.UCs3KIKLqxAedFNr34qFndc2aRYMraBJKm21dfsgqXCCqD1uuvg88hd1HCkokhTjIjMj.j9vyeHafNAXtGp.Vdj.DsIhDvZdHbi1Q0G_zt4FLu8xVNxHlRvuzsa9RVfFITLN3GrujL4YQ85GVTuY42Yj7jaS.OUa4xUEeUeWay5kgVnEgOyEgjRmyfIiSIFu9nrZDcPUpYHIxmAD4cIJzqHzX6URFHwyGxR5tI8CFwUJ_SIpAgIHfEbJUND7Ni_RYGM1lq.N6HJOeWcTxzx_TQPpoQVVCzARvN73Kd_lrECdp26ofYdX5M_QqgtmaOzhfoawjSvnzCKvwQD5D2SiHQc55eHG3JN8r51fcgwLTrMPQPUJzdA53yB7hj_N0P.OgK.IlRL8u92fGY.v0fsHPP1_1FNhHaQY._X7alYIYnymRWAmNpI6kojzQUYfry9objlDJJSCL.ZBhLidMKHnjHpSVXjVdq4Yl4o6OpTdMnG0clAQk3JR6_mrGKasIYTB7hNasXcCt7guwstKc6l8MPvj_sWOlF0zOckLnD03iv.vWlh1Sq8EBO4hNExJkUhF.ZDewh.KpPbwJ7lgFKf25wDctksbBdKRAXyAvtGGMV9uBe1M1OBwaGFug063euxsPiMkVH42WapdUbG7Qc2JmbKq.7l4pv_P2o2I7gZNR4YUi7KxQeqMJYWXKhAP.9i8lKenxna3MZcaQnThBn2Il5Nwdfk91dsPwbFM4gBRuQM_52Kb3vccw.JNBnjbC57EQ0jcgdOoawoyFozFarMg3RlmmlNcs.UQ88LGkFSkznJmfG1yR.TtZFTUqFiJIF.v4t9hs.EJq.64DkT1nWyUmqPaYga0cJVvq89mXb21VivUunRPzpG4fkzXQ8"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e7203c58413d95';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, "\/?q=rf%3A7609670&__cf_chl_rt_tk=SSjuXdpLeIM.AHkHjYd6cfaT5UGimBwQXPXdrZBUlcA-1744339296-1.0.1.1-Ar.4ORJYYVeH1Krq2xaVwGYilsDcPs3aCjQvlsCFQr8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>