How to derive a formula for π · 3blue1brown · Sentinel