Cesàro summation

GPTKB entity