[math-fun] Infinite dimensional division algebras