Definite integral/Staircase function/Exercise form