A solution of Sun's 520 challenge concerning 520/pi - Mathew Rogers; Armin Straub (2012)