[math-fun] Infinite product vector space puzzle