这样做应该没问题啊，为什么是错的?

应当在a的绝对值大于e时继续循环，可以初始化a为极大值，保证一开始就是大于的状态。