java coding

Write the body of this method. * Returns the smallest value in a. ft * @param a * an array of ints * @return smallest value in the array a * @requires * a.length > = 1 * @ensures * minimum = [the smallest value in a] */private static int minimum(int[] a) {Clearly and concisely explain why the precondition is important here