有没有最大的负无理数如上所述~速求