The standard definition of big-O involves a limit superior, but our implementation uses a limit. Probably worth to add a caveat to the docstring.