PI SONG COMPETITION in connection with Pi Day on 13 March 2023