youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-01-18 15:18:01
Some checks are pending
Deploy Quartz site to GitHub Pages using Nix / build (push) Waiting to run
Details
Deploy Quartz site to GitHub Pages using Nix / deploy (push) Blocked by required conditions
Details

Browse source
This commit is contained in:
Youwen Wu 2025-01-18 15:18:01 -08:00
parent 0a2b1ccd7f
commit 7ff85f5e0c
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
documents/by-course/math-8/course-notes/main.typ
View file

@ -25,7 +25,7 @@ competition mathematics or proofs. If you are at UCSB, I highly recommend you
take this course as soon as possible to unlock the rest of the higher
mathematics offerings here (which are much more interesting).
= Course Logistics
= Course logistics
Everything in this section is information only valid for the Winter 2025 quarter with Professor Porter.
@ -457,7 +457,7 @@ $ exists x in U, P(x) $
We want $1/n < 0.02$, so the idea is to play around with this statement. Taking reciprocals,
$ n > 50 $
#proof[
Let $N = 50$. Then $n in NN$ and $n > N = 50$,
Let $N = 50$. Then $forall n in NN$ and $n > N$,
$ 1 / n < 1 / 50 = 0.02 $
]
]