import Control.Applicative ((<$>))
import Data.List (sort)

main :: IO ()
main = do
    n  <- readLn :: IO Int
    as <- map (read :: String -> Int) . words <$> getLine
    print $ sum $ map abs $ zipWith (-) [1..n] $ sort as