Search a 2D Matrix

Apply an O(log(m * n)) binary search to determine if a target integer exists within an m x n grid of strictly increasing values. Asked at Apple.