Hằng ngày, mực nước của một con kênh lên xuống theo thủy triều. Độ sâu $h$ (mét) của con kênh tính theo thời gian $t$ (giờ) trong một ngày được cho bởi công thức: $h=\frac{1}{2}\cos \left(\frac{\pi t}{8}+\frac{\pi }{4}\right)+3$, $0\le t<24$. Mực nước của kênh cao nhất khi $t$ bằng bao nhiêu?