for f being real-valued FinSequence holds |.f.| >= 0