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: '92d4a619e984a042',cH: 'YO4v.ZN2gGHAqkPJr8k9ahKOX..KpQaMMO3N4vREzCY-1744145550-1.2.1.1-DJemMn2qsnrvmjau1C6.jUC54DBXM.b57j6L4hhBLDWo8M_8umm8sFfWEGNB1fHZ',cUPMDTk: "\/0239.47002?__cf_chl_tk=d9NrPowq52mIul8j1lOhZsfdP.RXTNuedtiTCfpen08-1744145550-1.0.1.1-ovQJFk1IoUm_nTQX.PoebXT5.YikaOveaW9NVB7QJT8",cFPWv: 'g',cITimeS: '1744145550',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0239.47002?__cf_chl_f_tk=d9NrPowq52mIul8j1lOhZsfdP.RXTNuedtiTCfpen08-1744145550-1.0.1.1-ovQJFk1IoUm_nTQX.PoebXT5.YikaOveaW9NVB7QJT8",md: "t.95KhVsftpmdNLmUrJNWANIELUKuQ6xdlClbK6EVlU-1744145550-1.2.1.1-wE1zUPUB.q0A0zvoG4rUs33queJf3W.rpurx0cKq7kfTY1eUn8l_OAwyRDW6ujzAlVNhFbD5RNk0D9uCp.BgUWtrfufvE.SgP4ImfgDS1qjWbN5z0ijq1uvsrf6gKsd2hrbbylc8tjkSTyL78wsqeSSrURFQTO2UMUKuU1pFRt9lfu7130VfnIA_wfzuglOZzSrJJ_Tfm81WbQDoXIQpqJ39RKeuDq0sVchS40AVMMdhSSY5Cfe83eCvB3GPHqJv9f7ROckyrxXeijbC2pJSkDEbR9r4jqaFwEJy__9kWxYYsIdV264SgGNxv1YUwpY9S6LDJrwlrp0ZshL1r3no6h5tsNj_iFriR08d2G69TOMth5f1JaMgW9rjtfY6jQvYt.3BkXYSwXaa1wOezRksBIapJVaNwrI6bwAhDFHa9tTf_PLgumLBJrLJ4v80fvJFzWKwtMK6GwptOdzTHwn7vp3faUH2euKHu0mStp1Smh4rNLY4FXOPP618yogi59HByhubpzj0fhnxTNHxuVTlONNNl.n5wUiCfWhQvsX31GZGbzZtI_INXl2AJONVhpqsi5dYqmfLS2TTnE5hwt3iQ6L2AOK2oPcn_ibPw3f0H50vVXOnx2w5yKMT0kWyipwtKSBPUybvYPYGQDOweY5IMw7WIR6X7PwELj2P12e68MNM4yG3QN8SrvOWXGLCK.GdEgsIjxNkLyN88M9XGrC87lYZb4fCq7cmsjhXnP0878lP.ezRbP7w94DJFjD_6og5.ND2mFnfGZN7H011ZNfYX5V6eynEqhxNyF4jSWo_BbG9lZ3Nw7GIxyKTbMdVC4niXpkeTUAlrM1XlaFXJJsU4JyUytI.ZvuVQ8IyCSdVWm1aeAsVXsDe5HJ9McKV6pD3gySC8ENCuuzI.lz6qzv9zpK5.oSjbkCXcvM5ybxAQWE4Go9PAKdTXM_dJ3DSzsd_ubQ09SLaJnyZ9bBJ9xzPPNqNeW_4BWncS5XNVrFHdT_vyUFfifXU4pJXkKkwsEfpEU2AunG1dpNaau9_w8.GKGjR7XpuJ2J_X1J67QLMw4QEv.pOPr5rNA_skmfeQjloQqqa5PeeBPXBYIMRFQqUHZAYVVwxkOBKham6MhlwLChIfIbMFYdjCcgCLNcfgGUUGILNi.0mHlyYBoPggVe.ACeFGbsoUv.dD69rVzmoIZEUjXxeDNFn6PJopQ_6wzNg",mdrd: "mh1hVZPIFfiD2JZlh80MIOMACDLv0OfSM3Eftv5UCrk-1744145550-1.2.1.1-akcGsljxdEgAh2dTwd90znJEFsDx9gd1AF5qWT9v0LmjVdlFZ_zonqIPcKxXOXRtARrSSIwfqt6X5z6i5BGKW3L316l7M8iTflpoN41FggYVQGMkNVSJU7j.zmRoQZOeZguwD8AmJ.8hWXFboK5l.eQj.HUo6WEfa3AImX75Zc8IQ9W3foStLHgQd3nlOzPeQDZcV.n8XgLbUrIEcm9T7xPTGrexSqr99Vc7O_Q0PdWcpsA3gJwTFGE1dXsMgpxzbkP5CwDgXKwksEwyrJUwomIHdfvnZ0Ri0vURjCDhY6r1KrV.NqSZO.NGZKmA0Pjh22zLKl0yhBLN8AqT8Mblm.BQZUgIFhELKuB5XBKBHpzA2rclykaNbcaywTh3YxGFsw28DeAEIzKuJZ.Zx8oMsO3IaTGuIfi5hQTstvg51BMZoPwcQa0LMvIu.Se5l9EXopQZKPSqqw1LnSymHmj5G17zSEgUH0LCMtjKX5ptRIKAMvQgOr_yxeKCL8BFGTYXB9vbKVHbWaTmwzOeaotWOC0RG9.nCTJ2hPFrEOn23ZRZul80tisUdVMFUmBX5AwgrwrUjR_StadNbSv1boL5WfimvSthw_7jN8svUnFRzUqMum0H6k5lKSmcpH9GBtMXQcRxIqwCAzGNqq644zsbgJT72LjS55sFJATOMtnN.AdPCnrmwWCnUfQDq8JhqDgQhXiC2npGRutnBqYKAcAafQVLbuu.q8kyfTXDlR5Wmoj467lTsoup5xmMsBT7eXxgS4uQQUEWZ4n7MjB1lxRKvmmPRpryAoUKgVDev6mJZLjpTTzJQSDfrNhs17yk6AH9E7ptpAYEgjDSr3O51L_O9M7wXBfjhlIRq_3fhIQetNzxXa0bQFhX5hzdidNY_bEVYfE_HbiGF3HBOxhyDQKW1bs.XO5MkdqFqPurte1wbUl69UtSkpDnMNkIVvZyTgYWPrvHaJM37Yqb216.SuD5CHfH3U57EIAUWkq7Nxo98KsZKghAfcw9.KoaxE5I1seqFNDme_qO80UUUKv9skaCGdvCAqyoR0IBAyjEHkitKNuENL0YGyc7goa1Ko7qDt.JrJT1v.phr1wUus9l9pJgE_T2lvRJ5UMBVZzY11BxbqG5ECTTS.fv2oTbBW0torMwSNg_hVvlZEE1QcDabXYKCdB8W_.OV47TSm6a2rJNchAjuFXjXtggMQgla_S7oMqxxabzt0R4iKSzsNiR5RTvZqSeULTGCSJCV1OdaRcVWV38zov0n6T8VWznyglvu1EYlDKnBb50WWsm4iji_i21Ai_B.ovBYOaXvrnLJne_CP7NMnH75BwHFp7Bl9bjlT0vr3Wvqp6nMuPpdQUKLkend9bCbCHkjNF4Ow27_OwNyDcxjhjo6BNVLdVUzdD87HgmPaVUyLnwa1ZszErhhyLJSoJWBrLBB48hAlq9.TH2CCiX1HN2oTlOx5X_mMevRgiSt0_DcPhwucqdbqfwZE_SZPKg1Ij4yiKyvPHVw7Ldpe48WjhMoHgeUaBAhETROdNIuzVlJlbHwHEgglP.C_Dr8VADGrlDjq4liX6bT_8kXsXrYx7ZCZ8eHBtLhz3KyVjZOYyJWR1k30wixDawD3srr9fYkQXyhWs12Y0bzWzImUvlYpfveop9Z63.ZLMr.8Be2gUgxnW0Zcao8LeBaOQxOa71yZZusMMi6xmUFBOfQ7RkAZCpuhk.Vid6XA5lJFh33b.bfaWX7JqiBjEMIPHTA2VErNss10mGtWSUDQkZqWw3eGfjvC2Q3YtV4GieZiS0xFn20v9m3kXxD07OTo_zXS7K_lQw9igsRNrVxjct9egD0jnvAusAUv.HYb_6iztdSHGFYMijgH0tEanxgw2faivlC9RXf4QpsoDUMpSyJdia9Enh4QLACT9HwpI05W1GSN88lnzpt15HIUsofahSg4jXWKQ4ZGOS91.uNS72TmmU0upgZ7dptTZABb5nsitPly3N6YioHOCXmfJCoDT_oS5aaAFXQjq7zEp5HNi.r.yZh4gtcHmRKS6VSpSBR1RT730114za52_KSCaaeEtvuQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4a619e984a042';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, "\/0239.47002?__cf_chl_rt_tk=d9NrPowq52mIul8j1lOhZsfdP.RXTNuedtiTCfpen08-1744145550-1.0.1.1-ovQJFk1IoUm_nTQX.PoebXT5.YikaOveaW9NVB7QJT8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>