Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@TimothyChow In my field, Seva's usage of $o(1)$ is perfectly standard. The statement that "$|A| > (1+o(1))\sqrt{2p}$ suffices" means: there is some function $r$ with $r = o(1)$ such that $|A| > (1+r(p))\sqrt{2p}$ suffices.