Length of surreal product
It is easy to prove that
This is strongly conjectured to be true by Gonshor in [Gon86]. There is an easy way to prove that
*[Gon86] Harry Gonshor, An Introduction to the Theory of Surreal Numbers, Cambridge University Press, Cambridge, 1986.
* indicates original appearance(s) of problem.