Piraldo's soccer matches
Source: Brazilian Math Olympiad 2006, Problem 6
October 30, 2006
algebra unsolvedgeometric sequencefloor function
Problem Statement
Professor Piraldo takes part in soccer matches with a lot of goals and judges a match in his own peculiar way. A match with score of goals to goals, , is tough when , where is defined by and, for , , where is the largest integer such that and .
Let . Prove that a match with score of goals to , , is tough if and is not tough if .