no message
Revert "no message"

This reverts commit 79c476882629516731cbcce919077ceb1963be60.
slightly modified stuff about "y_lim"
saved two figures.
Merge branch 'master' of https://github.com/haru110jp/envelopetheorem