Comment on Ask HN: Which books are the best to self study proof based math?