数列の上限について質問です。

an≦Mを満たすようなMの存在すればいいと書いてありますがこれは

an<Mでも問題ないと思うわけですが正しいですか?