元の解答だけど、わざわざチコノフの定理というときは、
無限直積を意識している場合が普通だと思うのだけどなあ。
コンパクト集合の有限直積がコンパクトよりも
円周がコンパクトの方がよっぽど明らかではないと思う。