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: "mathoverflow.net",cType: 'managed',cRay: '924800731d8d89b9',cH: 'c0exLJ1c9OvZXuOpCgcLFp50iimKBFXcPNpCSZBebvE-1742670758-1.2.1.1-Nu7ONNMI5jRw4l_GucaknUomBrTvpAyEi9Il1Q_zJhDrQMlqUJts6GnR3kMqBVnU',cUPMDTk: "\/questions\/67165?__cf_chl_tk=umpGQv3q909O3y5Hv.vlnwGcozDhwpuKhM6fdUiLXlQ-1742670758-1.0.1.1-YIdRe3Dd1sddH.4_uet2gWy7meEixWelACYxA0W2ZTo",cFPWv: 'b',cITimeS: '1742670758',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/questions\/67165?__cf_chl_f_tk=umpGQv3q909O3y5Hv.vlnwGcozDhwpuKhM6fdUiLXlQ-1742670758-1.0.1.1-YIdRe3Dd1sddH.4_uet2gWy7meEixWelACYxA0W2ZTo",md: "yOcyict_oexJYOj7h42F44R3vIlmAwJQRY0HcYeNmrs-1742670758-1.2.1.1-2uxttqGoMuKzilRu.txCc5jPy25D8ZZAb0ICwLZB5hk9hqNnZjyIcSEyYeequAEq5YODsAZjfQ2_E5FJiToCiAhdmCoTVWpJZOiYUt6iUMZ3dLpynxhwzMZjYgOaswqX40nUzt2_FfF5_kFi5j9N4BnNNb2ur1yt.erCFhI6QmaBr2WomNVSbaQxDvnSWDjFYI6PM_sRcwMTBNwb9e33s7s879gh.RJrP4RuQIH.Q_aGAU0zZel0h0.4.sAjSPm05R1RBbJaruw9aFWRDb3iHpSucHcIlb9murOwbBGm3ixJG2m4oV_GMrsv0LC8CJ9t67EuKBJAUCHjCms6T30bNRBX0ckxASFKl.8fe2ASkrg3hDR_MIaPSBbeHq9zGfNNzBod_Yek8QK7F.EP9vNTWW40clWTVPMrgZV7wUUhO898kX8B1XNsWAQM9kyodQ0v9_2a0oiTBYcp05xetzpv6CuX3bOc.SPXQUSIGfre9qCBuPJWTMbWj1CtmoGNN1nPxfHOVro38Y44V7kljXUV9EnKOpQbxkTSy1bGvtnLTTm.xw94iGClIdFI.knSIArHUYyV5rE_64Otj8gzyv7uBc4rESokOgU3_U7F419YfD8YSWEihY2eO_8n7yCqis9beSjQhEDpiXkEwcoM8.apZQDm3RPUhhqSoS1KlL6SCKT.Otqnigio0mlxswowY_KTfkGterErpjD5IsfvNHLJNUJR4Lm4wfxdWVBogOF6CJ1skfQ.c6krnL0Smp4U8N1W1bV7.ORBumsKkklY5LuePsWS.R6J8vhFGjWrvUqiX..JxCu_n7KEZCReXQYTyhdnsUlpxtOKdC9R5ZROLsV4RxUqS31DKnZskXBtGi9mFv3dk6lgaoPOTP0rjYFg2pEt09IM_HTk3onIpRsrh1BOycAt3AHq5LsDchK3BOLVR7CTvRDhNX31SOnJMtcTQXGOtVy2m44qo3TQyEbf8LRH4vykwUzRAx6IDQXpBnrVkIEN1tkGCuVmxlEY_VKXcB8WZI4orBjhg54AgjM52medtPuYwyeRVt2i09fw1ccX8zMBK7762BQ4Ae6XN8BwyDTDCxVl4nZvez9k1.CfD9R9bfekLYsetfO1uWnWDb596WNW.roZK08rOyIIqXZxlMea_MAu7WjImj1vbI8DGJMjZfglvdbQ2KbmKfQDdSHvamtps8Wd_zgosCwkjp80HLNiG8.NoV7lrhDv8SGI6nWmonZMQwv_zOxNSTX6O66U_ag",mdrd: "fzsRub5sAcl8sshlqw9BY4KpheLJEf4AmlycUuynuts-1742670758-1.2.1.1-TL8rK0ZPujU9hXVN45LKhl5zh94sXqONIyT9cJgLGWMsjoPT7UGXdhHBTCDJQxE_AjkPaat..H4dqIA9UZQtUl70PDhQcT3AwDglYytCJnyl..RvcQwjCsk2EOi70f_e5L2W02RBjod_NhhPH1p0mobbp5cablhIB58voIn7b5Dwprc74Q8qm1pJJL7I7Bs.5vMdq5yz0QhlCS1vLansgeBN2MgEbiS3SDDD2LW.0sQgBuXba9vuMVEYkqIJ._M3xbZKlfNuDaDtJWPvwe2UOFSrUT_1Lb.uoTCqHqrDdBCOgHT6.yL7ajKY9ILUf30ciyi2hUBk0tAA0ih_u0mSm3tXCDuH9RV38TicyrgEJXy8gGLyGMPxrsilLkYQpxCXTxwGkDyzrbUPZ_KKqXWtoXxj_pc3S0Oe49WAJsu0SVU3fVsIPBBsQwsIleMYexeThyeUBssm5wJXpLM0UR8Mu8CTCBz5bogGVE86Q4bhDkO91CO8VScjm4hRYA4oFctCdsfZ.pnwc5Lg0rSJsZCy0F_E53gk9AT85nLUDa9RopzQFCpxsXGeCgwPHS02nCAwQA6ALXwAdCdesNdxpVSaGTAfj3sNYumXps8RgTM5bg7MbXuILkZU1cQ3bGYV1JGassNY2Yfl.R.QVSGYnRaNWY.P38_E9PUMcNflGZpuwokP1vOdB8967nuNMUz1T1xoff09W.SqKvTaRlBM337u87agfWGP38Owh9g87adzLl6X4JqMJ5H6nbYo9qjGErDCMTUdS88s_E7kcKyWKUWFF5SbyFdNBqebe_knHknju9Uem60TqjDVB81fi3V3LIdRnwx3XNqXAxxc8RH6MD6cDCrv2s09FdUuQgDJINvbfgwtHxPvqF0z0awJXMduskDu4YXnr9TnQ6od1YSlD19.ohm3aRKk1_S0l18UzCwhcKjUGgtL0eM4OaVM9zswcJcU76slLcbw9lZPpx0YljHUjzqg1NJ.HGkvP3XulNOFsUiUlIRKpT6yyJkbIb1rysclyLRtmh4Z6u0mjwHgd6vERM1X991F.Y1vPI.jL9J9q.nq2qFRhPnTsq1evTxK3VNo0h.WE9dzf5vvWE283rwgSXXfNjK3.D5uIjlU8j4Nl0J9Uu.ScCq7ote290NnPwTmIB.GcmH9G0iUteX9OYc0cxAmUUWD0DawDeDP1F0sCbVU2kcqG9VLk0CygIr2VWeLpP2cyG5iIoXZczNOnxKuL68faC8F0HYMZCNMB.89ruFATCa7eALAi4VaU.dMfn0qvj8AtPH1kCT905OCd0Rg8af3FuhI9M6GkWbllvQ6a_POqJBhrNvrpaLPrSKLq3rdsKlhMOVYGfTQWBdBOpIXPtRV3IdRcN_e22zxNfGxnG5BL4g.IBdWRdka8gKX39VEOZqP6451QWP1k_eyN4VO.hlYLcL07Eyi_X7MwraCJGL9TfqohQS1SQ2VSmuSbHR3WFy_QqxN6gu.QaQMcZjh8NEHi05BSetYCqgW.zHErsDGqgB0ksic7Ww8wruuTePe1jylb.CvA3D8c8MPa_jU5iUyVglbjYdyCTJMRynUgOLOx3ChZ.bayX27kr4sX1PJqjbMSOQHqOjSn20Jb13gUnmyc4QfmlzAGBxknXeT_Vf5nQ5bMahVq5m5TALyVuW2n.Zkd95R.oMP.84iptaetwEnH_rGn9MYyRD3sitC3s9hhCX_GXadgAN98_qKyDu2xxLGOgfp5Emm3QdYNfWj0BLFZhCbUYALLY3GZoZc.A4yo.RZ_T_jkMXCw1hCz7r39h9BMFGbqpiMDqA2Tja.KX2IM4Y9QEiCpRKpWbV2Ya0dKJ6qzxi5YXk6nDTpPXBF5zjnu0kUpjLbJl9x5b9qUNxeI8PtH8HxoNZg.ztQRcj6ME8oeO39Fk2yUg513eMjBOTC3kNSh0wgI1PfT.apn9x7M8vj9nuvXz.fui_StKs4cZ4nronvMRz.DRk7A20IVmiyhRXwSfgfqPpDBWQvVvtjwVOIWi4XzYVfFPG7mfQEMSalutzuyaQfxK4laftvXc3Z6lFtcALWVM6o5G1JYc3.H68Kd03LyZCx.CBIHWA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=924800731d8d89b9';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, "\/questions\/67165?__cf_chl_rt_tk=umpGQv3q909O3y5Hv.vlnwGcozDhwpuKhM6fdUiLXlQ-1742670758-1.0.1.1-YIdRe3Dd1sddH.4_uet2gWy7meEixWelACYxA0W2ZTo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>