Convergence Bound and Critical Batch Size of Muon Optimizer