|An|という数列には、上限はともかく下限は必ず存在するがそれでいいのか?