https://ericneyman.wordpress.com/2020/11/29/an-elegant-proof-of-laplaces-rule-of-succession/
This is a cool proof, though I'm not sure why they discarded the idea of [SPOILER]
using an interval and counting segments of that. It is somewhat less symmetric but seems cleaner.
An elegant proof of Laplace’s rule of succession
Unexpected Values