设{an}为数列，对于“存在正数M，对任意正整数n，有|an|≤M”的否定(即数列{an}无界)是______。
存在正数M，存在正整数n，使得|an|＞M
对任意正数M，存在正整数n，使得|an|＞M
存在正数M，对任意正整数n，有|an|＞M
对任意正数M，以及任意正整数n，有|an|＞M
[解析] 对任意正数M，存在正整数n，使得|an|＞M，则称数列{an}无界。