Least upper bound of truncation error of low-rank matrix approximation algorithm using QR decomposition with pivotingのPreliminariesまで実装した。