問題文：一次元配列で表現された最小ヒープaがヒープ条件満たしているか確かめる関数
int check_heap(int a[], int n)を作成せよ。ヒープ条件を満たしていれば１、満たしていなければ０が
返値となる。nは一次元配列内でヒープのメモリとして利用されている要素の数である。
また、これを上の課題のデータに対して適用し、ヒープ条件を満たしていることを確認せよ。