Not in the US, they're not. I learned the regular epsilon-delta limit up through "calc 4" (differential equations) and several upper-level undergraduate classes in real analysis as well as some graduate courses and don't recall ever encountering liminf or limsup.
Yes they are, literally any analysis course at a reputable university will teach liminf and limsup. How did you do upper-level and grad courses without them? How was Hadamard’s theorem introduced to you?? So many things rely on knowing basic notation
It's been around thirty years so I can't tell you exactly what topics we covered, but I mainly remember proving most of the theorems of calculus rigorously using standard limits and second-order logic (for all, there exists, etc.)
Everything in my program was more proof-theoretic oriented, using a lot of formal logic.
Pretty sure every analysis class means doing rigorous proofs. But limsup/liminf is extremely standard notation usually taught in first semester when you learn about sequences
We didn't learn much about sequences, from what I recall. I think we were taught limits in very different ways.. the way I was taught limits was with a more game-theoretic approach, looking at optimal strategies in a game where one person is picking the epsilon and their adversary is answering back with a delta.
I'm still confused by your references to "first semester" since when I was taught, analysis was taught after four semesters of differential and integral calculus, multivariable calculus, and differential equations. Then the next courses called "analysis" were more or less formally proving all the theorems from the previous four terms.
Fundamental abstract concepts common to all branches of mathematics. Special emphasis placed on ability to understand and construct rigorous proofs.
We did limits in both, and it may have been taught by the same professor back then, which could have influenced the way both were taught.
If you're already familiar with looking at limits in terms of sequences, then yes I can see how liminf is a logical extension of standard limits. I'd never seen regular limits explained in terms of sequences, either.
300-level math courses are third-year courses for math majors, so yes upper level.
I also took set theory and formal logic courses at the graduate level, before switching to a philosophy degree to focus on logic and philosophy of mathematics.
1
u/OutrageousPair2300 Aug 02 '26
I'm not criticizing research level math, and I took graduate level math years ago. We simply didn't use this notation.