そういう怠惰な学生の中には
Weierstrass流の円周率の定義を聞いて
目を覚ます者たちもいるだろう