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: '8eb769ef7b3ba126',cH: 'ZFQ2dNsL4vakZssXIDYUQr5BoDWBIjTr2R9Y5nCgUcU-1733101580-1.2.1.1-MqKdlo_.nTVGdJlPrmzpcyas4RkUfcnwruuZcFiYggfmBgsZh5d9KwRGF4.YmDBj',cUPMDTk: "\/a\/272131\/381?__cf_chl_tk=HNwgiW3wKFIWjtUbXxrVEkGFHVjSRaCxFqtSe1tKU7A-1733101580-1.0.1.1-Io85fopui04vubBDZv5H7qqtmw6ubhiFj8MK60TE1_w",cFPWv: 'b',cITimeS: '1733101580',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/a\/272131\/381?__cf_chl_f_tk=HNwgiW3wKFIWjtUbXxrVEkGFHVjSRaCxFqtSe1tKU7A-1733101580-1.0.1.1-Io85fopui04vubBDZv5H7qqtmw6ubhiFj8MK60TE1_w",md: "9C8KUDVlk9KZWrMGSY5bxmiST8MYsDDMUk0pRNpw1lE-1733101580-1.2.1.1-Zp.RBDf3O2tVXZtNeFxcroji7p2dalcd.3AiQ89K4dZwUiyM3eX2CGOVJnO5psYr6ZSfoYiMISdDggkayv6EBrgYFrtAwY4G3VvYFxplNfcUfSowmXhJDMg_FR3UxqS_ZTKmfBbNueX3xQIkaj.RO2clhiGkY7kjqDJybP7NfXsXt6_xGfW7s4Pfe6wvrAg6qIL5Xv0eScwv.mNe2eb_9wZLo8cqezN53w_qc.7KcNACz5ws4vEggrUl7jLom5guhf16e4vcx3Sz99xHOJPcfdzR4DJap7V9agM7cTlwpmqUWUdvHHf1TiiOmyE4lh0UYKTPUO9SKUpAsrlwrCkKu9J1QuEAJyAm3G5KQmcQcgcvvJ4Ri10hiZ.fz9Rvvqj8RJ5TpHj5ydpGuGsVDSfg41QNnWfle6VLRhL0v1AoKjmB_H1WNGmo7N7HFZwtv1xT8EyOKZRyAK0Zbfxq8acniijJj0XE_fDJakf.1TpMfN1EZRwm8x.TvlgCA4hmGLFUXHkd2tf6Q4te9KPFiqo0jQ4Pns6RO8.tWBzFZKgAx58UxcmPx68h0cw2K7p4hgSjvsXQMusWnjoxv_VlT4lSVj6OoVpXth_gQGb5BYCCnOroT47B8vgNsChgQihEkMHDH9s9brZRAPUkQ6lrPZ3OPaFdSrgSi4TGbTqlF734ql1iiVLOoVGvd4C461FgaLL8D2YB6MvBSRYWo3D2m1MIdy80rmDCRgGcqLxrN.QYkOVXnZDxrrfaIXi2E5KYFNbYB4CEW8wUGvKqwLQgK4AI1TR7a41znpHX3_2UxXjt_R5vgHjClBhFm78LNfUGbdhSE2sqZsrgsZJGNWLg3mJ_HtMk5OMQaBzT3hdWxwtC8G5q7nv7o_Bw_8.tgpIWftUvOFVaDa0501gaM6DQvUJ7ujl5pUc534gCUubrvYQARNY8jTEK0B0CrzfH.zANYd3Av0LR._9BQdP8RxS5E9rnwcukS6AFeJ3M_JLcY.8Iv2I5ISWhOOqiyU5pVawKZ_O_5G_b4urFZ.V1VzqCcYA6ghWzAGEkPaXMErLAEtXVLZnRXvnf74L1sP_bR0f9hRPdJJeaupOhmeQVCB_O4NQ1PFRQCY_SozUm.OZj9R4wfmSjzucqgcKB9WVW_gFqUctpjYPAi0igK_14SeDNnTIHDOO3VJ2pnlIYt.yjT4aW9salzxYARxC43VIGl37SKmNntvUWiX1VCSwSp6BhL1YLTabFuQ0oi0SuCQ43p2NUaqyC.eASFl9ibrOJsX.f_sumIUN0bLhot29sh9ouzAw9lc0g556R0.o9vo8iGnibbhKctXZPXUogsQIsDytWyeSwHynng4bofzQPPHD67dFJcek.pyMxuuIZmGsaiuiU5AoTgmSh6FC5yHediluWyWW3NSmLjeeyFLHzVVxHGdwktQhoyOgklhWF5f9iEJGx4dd5qDkwe24b6UwrXX9u73GXhjxmCp8vwTJ9FPd4BXTYtcRfaJUp_aec1bztyArbWvjwp59qPshND7bxCqZwIRB4gVJne4wf3t_xOh8ou46ebpEkIRccUQO0i_JrI8Bhgn.1fLbCTazQH_TO_qQ9rSvtGV9QscRE3cAattGC2spp5daGnJiEu1kOVghR2TIDWin4JEVJFKi_dibmFvNUzzpvgkbJE6CpULaj85KIRE9LtNSWIKUTcCODgJz0ZG7bosE9LYi8QW9sUucGp7UqI3aycYAOgIurVOYIniMHoJfRr8jNuia0C_UTrJh.utjtvWzpGv8p7Pp1UsGPoSWZi9mPGlinqyWmizT2rtcx64oY0PVdPLSKoYXgiMkpOF5VCRWTVhnmdFhDwyAjZArWRMpMZJBY9_9wTzU3y9Ou3DofYY3oozqFhpPzmXY54L3djZi6nRJXd6xBHvtx74V.ggr9wml9LkEzqOBfgqpWdjAUwH_qoqbEuvsxbxus4OO33sjfkKxNCO2mecGT3eVv63vMhHjwWIC9C_xhLVfciuDLDjNnNlquRJ066aNCIsB2rX24Evy5p86e_CNK6CLz5oH6kvzMXXU6IkHm2MrjUqnnju815pu3320._nrzpJJiPwAepZie3vFSCEn0TL09qXdLQ1kI3cfjs7a12zsk3ed3iGlUBUaEykOHC2kuUZ4ynqYF4s.C6.43DTOC0iVAnBffsJRGAEAAef7G0dG51JcxsbS.0gfoA.yyiQ7MBXpkvRWR2bOmgtE.comcYlg1UrszA15ZtHCmTUQvGFqVZL_90Wz_iulzze3d.NHwV1orLbR6KLkblNgjAbGIkSOTDHo72ovrWLJwoWfc80TpHxncQLCqU6b1qsoRco6TqtbfVLvnTQoLRgwn9ecuM__l0eS05QohmKZXk1n..GmjuP7uQuYv4RqoXOtNveqimHtaltSAADangWs3MKvywS3TEEsLsfjeWUTINdbt_3C0xLhB86RtWaVHnCsy6I04MMuBY.6MIqsJqR_XYhfl3kyIqccql9usFiwodDOQBKSXlZ1lrb9lpqXLGfFaY3dciJ7YNDLxGOMQ7kXgIHsCyg6JH_Mk6YQ2Kk4zi1hu8C2QqCy7TNslrvADqq5ySImtUBWIppd1j_qwDnZixGjeveePxp7TwBVXGyfZKT.0w06lllY52.ahor2Ai9qy3uez4MAPjfmzGcE.Nqw87C47qohTvCyvlcKv0.Hu_1xxbyfJrcjrGp6ecS1yHyIR466oc539Dri.uj7tD4U2rLHht7WIKZSS51FLY_RdN1SM8rfHx50qo0WZVJ3JxiqgOIVXn8shuUChHyOyUznpLgZXi0yKoLS8ZcfMbDOGwGztrwCMlOIdRMLSEyegcy4Xt0_168B2fFA82IwuknivRT01qbYAqmH1wEE3NhlhsxjgjrJpwuLROsJUA8IFIbMiJzE9kSaCVEs",mdrd: "60t1ZvhTVGy8rFIgu4eL.9H.OJKcq_ZUtf0nE5Vl1sY-1733101580-1.2.1.1-z2gssw0jpsy910Z0TZXYMgCyBxM6mxNPuh5erNYbZo7oyrascWII93aBvLOa..s_RjpUgzpjjQih1BF9SmCdX9I.s_JXaqszwtScaHAkUIPwjSU5kNVXVXMdiYtR_bY67JZXDBwTErVoNdWZ3pQCiew5u3LpKOSUcn09ZJDWnnqY396q0g8oAaUpM4CCZNr2b3varjjQJVeHKH.H23o1ICxtg1LuGBuH5avwmP9YyOhLKf.1VNzXN2LHE0tg8T4Dysc1KwhXooNjuuIz2VMZnOsAFwWHkeMSD0GsGVypI7K7P7HKOdPt.u6G5fv9edUnO4Th7aWJH2NYL6vpiEIbWQhuw.43YcE8YHrABaHhHDiAaBnU8DR7VSTrz1y1kIbCBP_yjhHxgvQat8Tgj9iNAN74pmHNu_YutzcX6j7EHv7EhUuptxkKIyAuntKkoNlzz6D_QfkvOwSNzr6sk75FtWLAIFux1wPsuLzyy0IZwLYbR6VQvWJghd1NVWVFh_haXDtU_iGyQuHUQyFmK4VqKCNq80wLbadUwEcapS2bA4mFvDMFzMRSmOtwsxd9bfHtf6Wz6wd5MKEQ0UVV9L2dBmBo9MEkJEtJcHLpA6tNSUD9UnJaYCU4R5pffW7iHWGBOZ0.dzoftPa9PnW01D7tdQ9j7qm_ekCIHnAkzN1CovIJdmQ7WI0cwFAJ28LbbEpHwOU26rWQlNIyUUHaqF6HTl2V8rxUvokpBDc1uCAcvvxiRb5BiUdTa3dwh0Cmg2g5gKcKmDF3cUtkM8znw4lVhDWSMUM6qmyBXg3P.VPE7i3Vn09VNpChKEBFRJjfOzlyTfgzcF_7AU_jdBJjA9lDdaFRNlOecoo7GCcKBgLEs2gDh8rRtUMja2H3VubHm2m.N0SLCsx.E6.fO4gxu7BJzi1zuubfWQ9EqqKMZOtfsX7MmPa.sZdA.uhj9wMjvholAVx8QcOgO.V0YHlJgtuhyTFXAwuGJI2J54kvydoaEp3VIRA2b_HNEoU4Lp0rd2XgGndaLBuXu7egN127yVJUSrUi4.EKvL3VqkHcmZuZItgAtXTDKPSJbq0RvQQoguRopC6WVX5jnQtWueuzf1yX4XizRI__B5o4uLpOez18bw6LmVQAphBr.5VZGprzCr3IkdBRUsGtemvOaHxrwW0.Np._rGbt.yjpclNxhvIrrdNIrIUJgxVmf8pQnEdGe89ieIL8Br1npO.s8gD_nBvkhExFG0.3LuyCPyb6KzS9QK5KYtLM0vwmbT489UYFwLp1iSWsy7NnNdN15Kjb1FMJzpztidZ3KgVLl8LvvpIvnbtOITEFFlarORzQ52mohiTGli4jvAsTjlAZ4Lg8UKt.ZwzwSWsp0tj7Lx12aHTAcevgYwXFUK9Ukldh2Ph51Sj1ltYeMV2FSg2VwAHZKiAD3Y9Y4tK8IiLXZEmJEbygTDZQi0e.wM_0zV8AWSH10PDQSjrG4VqnTPyK..wMyKdyqZIPpLh..LsJnggU5B28HcrA.0o4TfyrpqXv9qy.ZwDPT5obZhyKk4WKB1iDqMeNA.g77PeceJwjVrwhN3W.4bwUFpCW3VS03EkmCaoRkTzJ5jqrKyVFm1JjE17xsNjJOLTvXp75psOvggFZIvIg8Gz800efohRffClnd74YRU4xV8YE4TgjlXtuFL49sUQVsp6R9mvn3dlh8wYio6DMbKNV0SmRmt3jKSeIFUI6kHtiKobmeUybvaET6MXzvw3ayBfBrcjN2x9CTio2VeCr70COfOmqY6NrqRSlEMCi1TBah7P5fpmmxGmebqfiEq6tDXP_cJOO9OXR5RwCIzuTO8UnCnYTXy47TKHLbvAg2njKZT49v_n33R288zoz14RLIN1fRXBIbBwjQq0jvWndUAInJ.1Dma4VSvBV.D7Bn.0Rl4pVmKQ6kDKgodcZcHpCK_MTen1tCX64_1J3.BcNXDE"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=8eb769ef7b3ba126';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, "\/a\/272131\/381?__cf_chl_rt_tk=HNwgiW3wKFIWjtUbXxrVEkGFHVjSRaCxFqtSe1tKU7A-1733101580-1.0.1.1-Io85fopui04vubBDZv5H7qqtmw6ubhiFj8MK60TE1_w" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>