ParentFull threadhowlin·> (independent from other estimates)That little phrase is doing a lot of work in your theorem :)View on HN