Bernoulli sampling lemma

[hoheinzollern]

Motivation for this change

Draft PR containing the Bernoulli sampling theorem

Checklist

• [ ] added corresponding entries in CHANGELOG_UNRELEASED.md

• [ ] added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

• Read this Checklist
• Put a milestone if possible
• Check labels

[t6s]

(Can I push to this repository once I drop a comment here?)

[t6s]

(nope)