4 ms·Maybe cheating, but: "middle step": 18/43/38 "lemma": <1/<1/99by endtime 16y agoMaybe cheating, but: "middle step": 18/43/38 "lemma": <1/<1/99