fix(ErdosProblems/659): make asymptotic#1522

YaelDillies merged 2 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

mo271:fix_459mo271/formal-conjectures:fix_459Copy head branch name to clipboard