LKLogic is live! A Nice Radical Problem - Olympiad maths