• LostXOR
      link
      fedilink
      83 months ago

      My bad, you’re right, you need ⌈log₂ p⌉ + 1 books.