Let . I want to prove that
. To prove the opposite
inclusion, I develop . This gives, by using global induction, that for every
natural k. In like manner, .Now, it is easy to prove the inclusion, because . Question: is there
a more elegant or simpler proof? Any hint will be welcome. Thanks for reading.