<?php
fscanf(STDIN,"%d",$n);
$p=explode(" ", rtrim(fgets(STDIN)));

$result=0;
for($i=0;$i<$n-1;$i++)
{
	if($i+1==$p[$i])
	{
		$temp=$p[$i];
		$p[$i]=$p[$i+1];
		$p[$i+1]=$temp;
		$result++;
	}
}

echo($result);