5 kyu

Loading Kata: A bit of fun with proofs on inequalities