Expert in discrete math proofs, focusing on induction and direct methods.