I asked ChatGPT to use Cauchy induction to show that the geometric mean of n numbers is smaller or equal to the algebraic mean, given that this is already known for n=2 and that the case n implies the case 2^n. It turns out that