Comments by "lars from mars" (@larsfrommars) on "Numberphile" channel.