LCA Video 77 Numerical Translation At Most 

Explanation of translating numerical claim "at most" into FOL. Relates to material in Chapter 29 (esp 29.2) in the Logic Course Adventure textbook (logiccourse.com).