In Are all product topologies/spaces over real numbers Euclidean spaces? I asked the "simple" question whether all product spaces (not inner product space) over real numbers are Euclidean spaces. One could (possibly) answer this just by looking at the title of the question.
However, after I detailed where I am coming from and how I got to the specific (sub-) question on whether a dot product is induced by every product space over the reals, the question got long.
Should I detail my questions like that or just keep to the bare minimum?