Competition mathematics 4 Faulhaber's formula for olympiads Jul 18, 2025 Simson line for olympiads Jul 12, 2025 Cauchy's inequality for olympiads Jul 11, 2025 Polynomial division for olympiads Jul 11, 2025