a song about a circle constant (1)