Do you mean discovering the formula independently (i.e. as Gauss did as a child) or simply knowing that the formula exists?