Average of square of first n natural numbers formula