Functions defined by integral