bestimmtes Integral, Integralfunktion