V. Ramaswami of Andhra University later gave a rigorous proof that for fixed "a", formula_7 was asymptotic to formula_8, with the error bound:formula_9in big O notation.
В. Рамасвами (V. Ramaswami) позднее дал строгое доказательство, что:formula_6Используя formula_7 можно показать, что:formula_8что связано с оценкой formula_9, приведенной ниже.