比上不足比下有余最早比的是什么蚂蚁