« first day (822 days earlier)   

6:30 AM
Wouldn't a better name for a tag than ?
I have noticed tag among the new tags.
It seems that this tag had already been created in the past and then it was removed.
Now there is a new question having this tag: math.stackexchange.com/questions/927593/…
I did not find whether this tag was discussed on meta or in chat.
 
 
1 hour later…
7:49 AM
I don't think that the tag is really needed.
At the moment it contains only one question:
2
Q: A question from the proof of : Every sequence has a monotone subsequence

VHPLemma: Every sequence $\{ x_n \}$ in R has a monotone subsequence. Proof: Let us call a positive integer $n$ a "peak of the sequence" if $m > n \implies x_n > x_m$  i.e., if  $x_n$ is greater than every subsequent term in the sequence. Suppose first that the sequence has infinitely many peaks,...

 

« first day (822 days earlier)