そもそも
�@e^x>1+x を示す
の段階でx>0がぬけてるんだがな。