Prove the loop invariant of the inner for loop by mathematical induction.
Topic: Algorithm Correctness and Efficiency Question (9 marks) 1 public static void sort (int [] arr) { 2 int len = arr . length; 3 for(int i = 0; i < len-1; i++){ 4 for(int j= len-1; j> i; j–){ 5 if ( arr [j] < arr [j -1] ){ 6 int temp = arr […]