>>84
だな
sup inf limsup liminf で書き換えられるからな