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: '92d3e856bbb0aecd',cH: '.t5TfJEhq0T4QweNhocd3OksQe.G3AmMf6mTz65xAQ0-1744137777-1.2.1.1-tiS0_BMun5Z.pfH.Aaes7wFzca9UDFXxXddMum.Qbhq3dHTIDRdCQJ0oeDrtNSBO',cUPMDTk: "\/1187.65071?__cf_chl_tk=aGqEmNWSCz0VyS1SP7GPVhXePnfCfnTpvrRFi8QpxLs-1744137777-1.0.1.1-GSHPIbx8N_vTMI6EHBY0vaU8u2QqQDeVqu_Pb_6Dcx4",cFPWv: 'g',cITimeS: '1744137777',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1187.65071?__cf_chl_f_tk=aGqEmNWSCz0VyS1SP7GPVhXePnfCfnTpvrRFi8QpxLs-1744137777-1.0.1.1-GSHPIbx8N_vTMI6EHBY0vaU8u2QqQDeVqu_Pb_6Dcx4",md: "5uxQBVvmhkmhBNuAsw85aGPqwlKDZkbmIZ7qQT5wobk-1744137777-1.2.1.1-MHd9pS2Rt4mlw7MVqUdFfdQv7KmFJVCdON4FEvLzcrOKIdLbY5mzDCqs4lGOOsxVKAz9KYvs4qCIR2rOZWRa41g9fm4aaUDmRRa2_vzI75ky2cr7em1oS_N9EHFjNjIwfHw8zHE5duFgnTdWhhBt3JV6oZV4aUruqCXvJV61cgBOAkeok2byY3oV2PRQLOo6buxPZTQD53zQUU9iGqIPla6rnZ6bchAYR4v7lu14Nlu.GnoDAStgyKawemLffyu2yAPb.Tv3cc8QjUirKvqgpPG8ji3_.g69kH.q.qWC1MWpC1hoinY.Iy8d0FlFwMKsDdVI2Yd9CFC9p.qdA1euDbb.HpTGZ7JUv3PGH408hsWZ_GfrfkSvojVQmr_WCfaYdO0W.qK9dCL6zUWG3rWmKcNBsUbr6nGtdT2wyDu8tphdtsx2PnL63FH.7eonC6Zeq1125He3yvBp1C7ZpTTuaVe2NT4J4tetRxfuqD2GPvnj0NsKhzDFLZIpxOjOY159UpF3nu2CKSpcrKZ1lEGHWoYVrrRSjroWw2fAjgWfyGXzabdsJdIndWyoSBSl6aoHsp.g9K6igo6gmnX1fBtbFSnOX18R.Hd3Sb3S27olLkfr.UmfLTXw_fK12y2Mt1C1XxuAugz1lL9qOD2K2psNMXLjcz0E6CxG8uWw9sy1Du3aIYbPSRe_eWif4AmNmDx46iTj6PEMYvbf4chrVgQqgqD_pb.F4c3mwwlXAqR2c3trNsRoEu9VEqU6hQs86gzCeOZnpr9XoHGG9qL0zaj6M.BdTxivSkMuRdOXog7uILzu28Ps7iQw6lnZSwOGCrEwAuWL0.x4S6k81qCdXwEBulfCZ5Caql3Ml6hrLhqsi5i8zWhJ6KfUoTxnRJZLVW7FC8RRIA8Al4esRPLnca8yCZIiheB8OMYbF.agj5xRuISsHRyZ9K0PpHfKhC0A8eKWEve3ogcxGZbax2lET.ErQhQ6O_O7J9Fgo.y75I6.ZAiVrzb6M9EdyH8Wj_.7CAzqd9eXyKlkG0LZhRWt.9XCSOjj_75rNQvsS8I5bCUJ58ICt9SO5N_sn9EDSbapyHSPWBr22_5sKkKbsDM.elV73kq4_W4klKLjiikK0tibCGCMokfYJBPQUhuFYJVOyiiuRj9AJKnoiI_1otvWwf1AroBgNZBB8xYexzuNt23x3OOfPzG_gQ6oSqvR5mlKt2mo",mdrd: "sRToeXIgLhr.ZxjyCNkfGDQuktsRZw.b9ixN73pPufs-1744137777-1.2.1.1-wydxK3whISlan0.6czMk2DGVQ08w3UAg2X41CZHjVJUOv9sDClH_1LfY.M79fxfbRphLmBAPheEiwWm7JRQr.Xs9m12GJnV96LKhFBSlnr1uvKOL07b._ivHbU3MHq08kwphtng63r01KJ6IRNCDdweh2uc85B1yvQQ6TtKQisoFS9MyaJF7LmtFKB21utC4.Y.7IKtNQcvlj35P0evv2.xN0BEXHpIL3G07KrHfqXB2Vlenme_SZo412XGbohIVHv7fmf._PgWwU1Nja9FS346itIRFfnyLrJVfYkKRzdUaxRfUaQLEJG6ucbD8FnDH5aH0ZbQ3_zG.6pwE0_4sUNx1cjbeVKLK1xg5pLq76lYxL1UUOmh9ZMNhhwi2S9Srmz8T95rvwpKOtNTcp4rdChLw_jn6.5WpoYcaY0BhxohKJF_NkwpcLIotoi1SP57RjfQ9T8z3IJsMk1lthjEjEXpfNFkZjaAOk3KfT346vWquda3cvnkTG1bJT8n.uIuBZ3ZL0iRJ.N2159LuibNLto1TIpnGSnmCqLQvksoNr3N70N8GCKJar_ZggHsRmOq_DSpOqVao78ZYNXtov1BVNpgoy_AqbP4nBu3d91IaxS5WxS6_p9vOaoQNf.qITwq62AkX3.eUOQU80ZTCm_tY4BZ0G6jEvrUKUFZNta_X9JiO8lBi5HVK3ix3eE7fnuZ14yPJ3ITiw_2GH7GWHvIrawGrQVYnmic8VWDchYSWJ6nnfE5o2jg9pHyHCNG0bNPDCmiqb6gj9Zi4K8DUURUzqFQNRtCiDMZ_9PO7XprsXWJrO7hP_oCgGlrfXnyrCUjjy.IyOXgzIH7fl.3zrW4O.MJ4BJY1JH0_QKe1.n8AWyADhMqWRpR.I.qMZowKjUJpGbvE98ZqCoyOeU7vqdT29LxwXAusKO9c.3NLRMtPj81Qos46hWy9YTiFDLsmGDb9L1s_pAqLxQXmfWlrHUjTXL_M4NxdN5sR.cbIS08ECaN6P1LcJk2QibqndNc_5vFwQU59_6m4gSmuCCq0t2qIwS7PKs32aHS.Vys.J6QGqc6LNwKIL_IcKcNG3q6nx0tlpTmAoyKhX4RyAy2uJE2PJNMeIJgpY95MrfzOGAcJ3jRN6q891E61kh4sx1_ExUHfQpy7ggQfwTEAq5lu22fbMd9sVq4Fa54sHImQC.04BDM0bcscBMBtu6vQJl548zpFCH3HY7ANIhqKDPm4DPFZhRmEq3.nuFlhgmKIoMjqm31oxH8hV_EWwGzQV4.E9JaccP.z5QNLBNZsmif8atYyiIySv8nGYt5lpgCBxc8OWTbyXaXrt8dgImcjHutkp55t6M_UDsYORTlAPx9ekSt_3pwpBdeaM399yLn29iPjbAzPKO6giegWa8_4Mf83Ex.nwL4rU_Fz5tI4Nk1TzW6SBjchK91LyYnii6MsflLfmXRkU6rU5t7uh_IH0Q9UcxD4EnqgxzpMuQxMXfPK9ROEudu_M3b5T32qiYbR7rAZWRnv2SELg_axxYip4slxnovRAkO0rc25C0VRlxE1TPKCPn2r7sni6OnRtHjswx3JKT97VC_cR3dYJLdeCdpoMV9xrt9NwLFaoSA0s_2LB0KDXGOUHjTDFJaGqUwmW1O485zaTL2LVImJjNkelbdp3onBCg1lyV7oZ89_Kr7c1.j.EnuvwS4MDmxc9EyZ2O3AGYaqlCjt8vz5gDHweheM77TYkDByr_mUAKP2jDHLrA4o2GvDCkLy17l.y0wy8G7eKBUi2ONJoGhfwmP82XJldlzalhS8KBZplbLVBGDWzaG8eWenBiC_mHRTyl0LGhmYaMXWYYZXsrd54bwYdFZ.3Fh97kS5Am1yti0nP5.dzv2Lx.4OxmCXskeqq5b8ew_JRTYCS6DhNhMMciebljrrMkxFDOKlYu9hzC0NA8URiQSx0tD2Ma4oFp_kIo_OlZmOtnohwkANeA6KV9pRDL3.hfq44rpXubSnIBkEFD92C8W0TWqAW7_tv5u5RFi76pvgR6v4Pa50yUQLXU_MvFypv.b3.32EGf5Rv3NZlhyvyb93bA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3e856bbb0aecd';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, "\/1187.65071?__cf_chl_rt_tk=aGqEmNWSCz0VyS1SP7GPVhXePnfCfnTpvrRFi8QpxLs-1744137777-1.0.1.1-GSHPIbx8N_vTMI6EHBY0vaU8u2QqQDeVqu_Pb_6Dcx4" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>