# Analysis I by Terence Tao

4 Hacker News commenters recommended Analysis I by Terence Tao and 0 criticized it, November 2025 to November 2026. It was recommended in 4 of 13 months.

**Verdict:** People recommend it as a methodical, accessible real analysis text, with Lean 4 formal proofs published alongside. The most common caveat is that readers can't tell whether their own proofs are correct.

## Why people recommend it

- Lean 4 formal proofs published alongside (1 comments): "when you have a fields medal winner publishing lean4 formal proofs on github to go with one of his books you are making a lot of progress" ([source](https://news.ycombinator.com/item?id=46254076))
- Methodical and accessible, though dry (1 comments): "it builds up in a somewhat "dry" but actually very accessible and methodical way" ([source](https://news.ycombinator.com/item?id=49762512))
- Makes pure mathematics enjoyable (1 comments): "I never thought I'd enjoy reading pure mathematics." ([source](https://news.ycombinator.com/item?id=48502692))
- Really good, per one reader (1 comments): "it's really good but my main problem was that I wasn't able to know if my proofs are correct" ([source](https://news.ycombinator.com/item?id=48744099))

## What people warn about

- Can't verify own proofs (1 comments): "it's really good but my main problem was that I wasn't able to know if my proofs are correct" ([source](https://news.ycombinator.com/item?id=48744099))

## Alternatives hackers recommend

- [Algorithms for Optimization by Kochenderfer and Wheeler](https://hackerapproved.com/p/algorithms-for-optimization.md): 10 recommend
- [Mathematics for Computer Science by Lehman, Leighton and Meyer](https://hackerapproved.com/p/mathematics-for-computer-science.md): 8 recommend
- [Numerical Recipes by Press et al.](https://hackerapproved.com/p/numerical-recipes.md): 7 recommend
- [Concrete Mathematics by Graham, Knuth and Patashnik](https://hackerapproved.com/p/concrete-mathematics.md): 7 recommend
- [Start Doing Graph Theory by Sam Burns](https://hackerapproved.com/p/start-doing-graph-theory.md): 7 recommend

## Where to get it

- [See price on Amazon](https://www.amazon.com/dp/8185931623?tag=hackerapprove-20) (affiliate link)
- [Bookshop.org](https://bookshop.org/a/130825/9788185931623) (affiliate link)

## Cite as

Hacker Approved, "Analysis I by Terence Tao", https://hackerapproved.com/p/analysis-i/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).