Skip to content

Instantly share code, notes, and snippets.

@0x00b1
Last active December 17, 2015 02:48
Show Gist options
  • Save 0x00b1/5538082 to your computer and use it in GitHub Desktop.
Save 0x00b1/5538082 to your computer and use it in GitHub Desktop.

Add all the natural numbers below 1000 that are multiples of 3 or 5.

ℕ = { 1, 2, 3, … }

A = { x ∈ ℕ : x < 1000 }

B = { y ∈ A : 3 | y ⋃ 5 | y }

∑ B
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment